Add a method to the Quasi type class that adds new top-level declarations.
Make a TExp a wrap a TH.Exp instead of a TH.ExpQ.

We also provide two new helper functions:

  unTypeQ :: Q (TExp a) -> Q Exp

  unsafeTExpCoerce :: Q Exp -> Q (TExp a)