[scheme] equal? и символы

Два разных объекта.

1 это не символ, а число
'1, то есть (QUOTE 1), это 1
но.
'('1), т.е. (QUOTE ((QUOTE 1))), это ((QUOTE 1)), и его CAR это (QUOTE 1), список из двух элементов - символа QUOTE и числа 1, а не просто число 1

Вообще, тут видно полное непонимание того, что есть оператор quote.

quote принимает объект и возвращает его же, не вычисляя.

Ага, понятно.

> Собственно, wtf?

собственно так и должно быть

'1 == 1

"1 == '(quote 1)

Да, почитал r5rs, вроде более менее понятно. Хотя углублюсь в этот момент позже.

видно полное непонимание

Есть немного, только закончил читать Simply Scheme :)