Предикат EQUALP и наиболее общее равенство

(equalp x y) возвращает значение T, если