Define a monadic while combinator for state_transformerTheory.

Closes #31