Add untilMC and whileMC, in the spirit of monad-loops