Prototype full type erasure and conversion to Haskell

Since type inference for static caching output is hard, let's enable
erasing the types and sending the output to GHC.

It will not always work, but this was easy to hack together.

No tests yet.