Summary of binding

[GLS at MIT-MC (Guy L. Steele, Jr.)]

I forgot to mention the suggestion that the declarations
as to binding class of variables be placed as declarations of some sort
at the head of the body, rather than inserted as funny keywords
in the lambda-variable list itself.  This is similar to the way
the LISP Machine has come to use CHECK-ARG rather than the type
keywords.  On the other hand, declarations of DO variables still look
pretty strange.  On the third hand, keywords in DO variable lists
would look even crazier, maybe.