Properly type check quasiquotes

Now, quasiquotes are rechecked like other terms. This catches things like missing implicits reliably, and it should have happened all the time.

The result is that the system is slightly more strict, but it's easier to be confident that you've written the right thing, and failure to infer implicits is no longer a silent rewriting of the answer.