Move monad stuff to separate module
Make XenT more like to transformer
Some more mtl stuff