すみません 私の質問がまとを得ていないようで
まず、前提として (1.2) 3.4は要素数は3ですよね?

148,150さんの構造の場合は2分木的に綺麗に分かれますから
(1.2) (3.4) のように要素数2個のように綺麗に分かれないのでしょうか?

(cons (cons (1 2) cons (3 4))のようの cdr部 cons (3 4)が
car 部cons (1 2)と同じように書いても
>>153さんのゆうとおり cdr 部は自動的に展開して
(1.2) (3 (4.nil))のようになるのでしょうか?