() = ( . ()) という点があやしい気がするな。...が空の場合考えれば
という部分で、無の文字列に意味をもたせちゃった事で矛盾が生じている。

(cons X Y) = (X . Y) なんであって、 NIL = () はドット記法ではあらわせない。
() はアトムでもあってそれ以上分割できない。単位元みたいな存在。

CONS で表現できないドット対があると、ドット対の定義から変更する必要がでて
きちゃうからねぇ。でも深く考えてみるのはいいことだと思う。学生の頃の俺は
そんな深く考えなかったよ…最近の若者はすごいな。