(eql x y)
(defun correct-p (result) (eql (result-type result) 'correct))
(equal x y)
(defun is (a b) (equal a b))
(equalp x y)