Change the treatment of the state

Use Monad transformer instead of specifying parameter u
Add evalStrings

add evalStrings and tests
tests pass