I can nowhere find a description of NAMED-LAMBDA and its semantics. I've made a guess, but it doesn't map very well into extant common-lisp structures; e.g., who can see the name? I assume from the discussion about debuggers that the name is dynamic in scope rather than lexical.