local declarations

["Scott E. Fahlman" <Fahlman@CMU-CS-C.ARPA>]

Ah, I misunderstood what you were suggesting.  Yes, to somehow be able
to specify the type of a lexical variable within a subset of that
variable's scope is indeed something that would be useful (though doing
one quick copy into a type-restricted LET variable doesn't seem too
bad).

It also was not totally clear whether you were areguing for keeping
themacro-to-declaration lossage or flushing it.  Glad to hear you're on
the side of sanity.

-- Scott