typechecker presentation initial
p2: assignments
p2: mutual recursion
p2: this page intentionally left blank
p2: mention higher-order functions
add assignment example
add higher-order functions example
add mutual recursion example
add bonus example