Added Haskell-K3 metaprogramming bridge. Added literal splicing.