Correct some nits, for the most part. In one case, I rewrote the test for what
paths are assignable to be more precise, though further tweaks are needed for
field sensitivity to truly work.