Re: **DRAFT** issue SYNTACTIC-ENVIRONMENT-ACCESS (version 4)

[masinter.pa@Xerox.COM]

I think VARIABLE-TYPE is too "generic" a name for what you use it for. Its
maybe VARIABLE-TYPE-SPECIFIER or even VARIABLE-TYPE-DECLARATION. 

VARIABLE-KIND is probably also too generic, although "kind" isn't as
overloaded as "TYPE".

Perhaps VARIABLE-BINDING-KIND or even VARIABLE-BINDING-TYPE.

The problems with VARIABLE-KIND and VARIABLE-TYPE is that there are many
different categorizations that can apply to a VARIABLE, and KIND and TYPE
don't identify the dimensions. 

(VARIABLE-TYPE 'this-is-a-variable-with-a-bad-name)
		=> :long

(VARIABLE-TYPE '|``''W@#!|)
		=> :unreadable

etc.