Issue CONSTANT-COMPILABLE-TYPES, version 7

[Richard P. Gabriel <rpg@lucid.com>]

The subset of functions disallowed are all compiled functions and
all interpreted functions with non-null lexical environments. There is
no predicate for this.

My thought is that, as closely as possible, the fact is irrelevant
that a compiler or dumper intervened between the production of the
code by a programmer into a well-formed program and the execution of
the code by a computer. 

Therefore, variables are mutable, and EQness required by the standard
for conforming programs should be maintained. If there is a problem, I
think it is better to change the semantics of Common Lisp rather than
making compiling and loading special cases.