Labels, and let-over-labels-over-lambda in lisp

Introduces the use of labels for local functions in lisp, then goes into its use within a let-over-lambda to provide more structured internal support for a dispatch function.