Add extensive support for let and local bindings. Rework functions and
defs. Introduce support for anonymous functions.