Added use of Template Haskell for ProcType instances. It reduces the code boilerplate.
New 'info' flag. Currently, it passes -ddump-splices to ghc when installing.