Proposed evaluator for Common LISP

[Earl A. Killian <EAK at MIT-MC>]

Common Lisp has not yet, to my knowledge, addressed the problem
of debugging.  With lexical scoping, it is no longer possible to
simply reference variables from a read-eval-print debugging loop,
the standard el cheapo lisp debugger, unless something more is
going on than your proposed evaluator is letting on.  Has this
been thought about yet?  If so, what is being proposed?  It would
be nice if sufficient functionality were provided that *simple*
portable debuggers could be written.