Add branching and looping exercises
Add bootstrap code for the ooopsie monad