Monad control struture fixes, support for loop