Bumped process, added conditional Typeable derivation, uses mkTyCon3.

Heist now compiles for me with ghc7.7, but I'm not familiar with the internals of heist, so my changes may be naive!