Linkage assumptions.

[GJC at MIT-MC (George J. Carrette)]

(1) When the compiler assumes FOO as *EXPR, and then finds out
    FOO is *LEXPR it barfs, failing to compile the function it
    was working on, even though the code would still run.
(2) At uuolinks snap time, (or Fasload), when the system finds that
    FOO which was assumed *EXPR in a given place is actually *LEXPR
    it provides no messages.

These two things work together to make it difficult to
compile all of macsyma in the same environment on MC.
In other words one has to go out of his way to track
these things down, and can't just find out about them
and fix them in a painless incremental way.

How much trouble would it be to provide a switch in complr to prevent
"(1)". How much trouble to provide some kind of UUOLINKS daemon solve
"(2)"?

The fact that it has been difficult/impossible in practice, to compile
all of macsyma in the same environment on MC has made it more
difficult to transport the code. Which is the only reason
I'd mention this.

-gjc