Added whileM, untilM, and friends.