Add monad transformers: error_t, state_t, edit README.md