Implicit return should not add a return if it already exists
Do performs like Maybe
Changes maybe to accept a value
Allow maybe to have a body
Rewrite do syntax
Compile call
Rewrite tests