Define environment for examples
Amend definitions of common notation
Add odd/even example of mutually recursive functions