Fixed errors in Monad/StateT module
Started working on last exercise in Monad/State module