Add Quotable instances for Raw and Tactic
Update documentation in Language.Reflection

Now it's in a format where it is visible to the compiler.