Reverts removal of define and adds documentation demonstrating
how various constructs are just syntactic sugar which expand to
(nested) lambda expressions.