Implementing lexical scope and unifying the treatment of functions.