Support for TemplateHaskell including QuasiQuotes

Implicating a Splice does not work currently due to ambiguity problems
Extended FlexibleContexts
Revert "Extended FlexibleContexts"

This reverts commit 4e38e1df9a6a369bf8ff5e4eefa8de2a9104455f.
Revert "Revert "Extended FlexibleContexts""

This reverts commit bac81b6bcfca88ec2e061b1bb1982d4f91dc7674.
Fixed Flexible Contexts

Now it works.