Enable equality tests for exists and forall quantifier
Use registered type informations when parsing lisp expressions from the solver

This means that the SMTMonad module can no longer stand on its own.
Also automatic unmangling of Maybe, Lists and derived data types doesn't work right now.