Add MonadState.{state, constantState} to parallel equivalents in StateFunctions; add basic tests

This PR adds `state` and `constantState` to `MonadState`. A basic test was added for each method on `MonadState` in lieu of proper law checking. The tests were added to `StateTTest` but if they should be in a new MonadStateTest, I can move them.