[Bug 1076737] Review Request: ghc-reflection - Reifies arbitrary terms into types that can be reflected back into terms