Add more wrappers for the monadic functions from base/mtl.

[lsrcz]

Currently Grisette provides a limited set of wrappers for the library monadic functions to help keep the result merged. We should add more wrappers, e.g., for StateT.