Re: must be wrong

[Guy.Steele@CMU-CS-A]

To recapitulate: the reason declarations affect initializer formsis that we discovered anomalies in the handling of declarations in
such sequential-binding forms as LET* and DO*.  For example:
	(LET* ((A B)
	       (B A))
	  (DECLARE (SPECIAL A B))
	  ...)
Clearly both bindings should be special.  Should either initializer
be special?  Knotty problems lurk here, and it was somehow decided
that all initializers should be affected in all cases.  It is a simple
rule, at least, even though the old explanations of LET in terms of
macro expansion no longer always work.