Re: EQP

[Guy.Steele at CMU-10A]

Well, I find from the 1978 InterLISP manual that EQP compares
numbers of unlike type: EQP[2000;2000.3] => T (their example
and syntax--sorry).  I had assumed that the new predicate we
want would always be () if the operands were of unlike type.
Theerfore I propose the new function EQL:
(DEFUN EQL (X)
 xxxxxxxx
(DEFUN EQL (X Y)
       (OR (EQ X Y)
           (AND (EQ (TYPEP X) (TYPEP Y))
	        (NUMBERP X)
                (EQUAL X Y))))