Should (LAMBDA (x)) really be permitted? I.e., should the interpreter and compiler infer that a () return value is warranted. Should (LET ((x y))) be permitted? How about (PROGN)? I would have preferred the error checking for at least LET and LAMBDA.