Remove MonadEff from MonadTrans
Add additional state running functions
Add MonadState instances for Reader/Writer
Add MonadState instance for MaybeT
Initial work on Error