整合性ってだけなら
( a ) = (a .())を>34のdotted listとして一般化して
( … )=(… . ()) の…が空の場合を考えれば
nil = () =( . ()) = ( . nil) でしょうし、
nil = ( . nil) なら a = ( . a)でもおかしくないんじゃないかと、、

でもまあ結局のところ
>42の人のいうとおり仕様というか決めの問題なわけで
実際Common Lispではこんな変な記法は仕様にないことは十分納得しましたです。
ありがとうございました