Implement ch13/do_notation examples (in progress)