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