lambda

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

The 29 July manual claims

1. (LAMBDA ...) is not evaluable.

and

2. '(LAMBDA ...) is a valid function.

On 1, I see no reason for (LAMBDA ...) not to evaluate to a function
(i.e. as if it had (FUNCTION ...) wrapped around it).  So why not
allow it?  Scheme pioneered this, and I think it was quite
aesthetic.

On 2, isn't allowing this inviting users to screw themselves now
that we've got lexical scoping?  E.g.
	(LET ((A ...)) (SORT L '(LAMBDA (X Y) (< X (- Y A)))))
won't get the locally bound A.