Предикат EQ и "машинное" равенство

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

• либо есть два совпадающих символа,
• либо ссылаются на один и тот же объект в памяти.