concrete functor and monad transformers

#98Relax type constraints of evalStateT and execStateT

While probably it does not matter much, it is sufficient to use Functor m over Monad m in evalStateT and execStateT.

cref: https://stackoverflow.com/questions/79319544/why-is-there-a-monad-typeclass-constraint-when-a-less-strict-functor-constraint