Add `liftedTyped` to `Lift` class
Implements GHC proposal 43, adding a liftTyped
method to the Lift
typeclass.
This also adds some documentation to TExp
, describing typed splices and their
advantages over their untyped counterparts.
Resolves #14671 (closed).
Edited by Ryan Scott