Major cleanup. Removed the Hannel namespace, added full monad trasformer support.