Proposed elimination of mixed-type complex numbers

[MOON at SCRC-TENEX]

This would also eliminate the one-of-a-kind anomaly in type
expressions that (COMPLEX FLOAT) is not the same as (COMPLEX FLOAT *),
but rather is the same as (COMPLEX FLOAT FLOAT).  The COMPLEX type
expression would be allowed only a single "argument."