Re: Macros -> declarations

[Masinter.pa@Xerox.ARPA]

The only reason for this issue is because the interpreter has to look
ahead for SPECIAL declarations. SPECIAL declarations are the only ones
that have any semantic import. Furthermore, SPECIAL declarations are the
only ones that are textually retroactive, in that they apply to things
that appeared BEFORE the declaration rather than after.

Rather than hacking around the deficiencies of DECLARE, why not change
it? Put SPECIAL declarations where they belong, next to the variable.
Leave all the other declarations where they are. Most of these issues
then become moot, and we can even consider freeing up some of the
restrictions on declarations; it would seem reasonable to allow
declarations anywhere in an implicit PROGN to refer to the stuff that
follows.