there is an argument to be made for "some checks are semantically meaningful", and maybe we'll eventually have two installs... one in compile for those, and another for pure style