MAYBE-CLOSES-OVER-P: Handle SB-INT:NAMED-LAMBDA closures.
PREPARE-REF: Check BOUNDPness of variables prior to access.
Permit user-defined function names.
LAMBDA: Give more precise descriptions of argument count errors.