Issue PROCLAIM-SCOPE

[vanroggen%aitg.DEC@decwrl.dec.com]

I believe adding an option controlling the scope/extent of PROCLAIM would
be confusing--it's simpler to think of PROCLAIM as only being global.  It
would be better to have a separate, specific mechanism to handle "file-local"
things, unless a more general mechanism could be devised.

It's probably worth noting that some things are already "file-local", such
as the binding of *PACKAGE*.

Also, VAX LISP has added some keywords to COMPILE-FILE which are file local,
such as :OPTIMIZE.

A last comment: adding a way of querying for PROCLAIMed information might
avoid the issue by leaving it to the user to manipulate explicitly.

			---Walter