cleaner defuns
put shadowed CL symbols into own package to avoid qualifying so much
reorganize class structure
setting the stage for lexical environment introspection
setting the stage for expansion-time context-oriented dispatch
runtime lexical environment info available to let forms and function bodies
add maybe-value wrappers to evaluated subforms of special forms
prepare defun to handle recursion
factor out generated macro body for defun
some comments
oops