Alec Theriault authored Feb 11, 2019 and Marge Bot committed Feb 13, 2019

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.