Finally finished implementation of state transformer monad, wrote simple examples