Reflection updates

This updates reflection to match the current internals of the TT and Const types. It also adds a typeclass Quotable, which is necessary for constructing certain kinds of tactics using reflection.