>>596
関数も動的スコープなので
(defun bar ()
(defun foo () 'x))

(defun foo ()
(bar)
(foo))

(foo)
x
となるです。つまり、呼び出す関数セルに何が入ってるかは実行時まで
わからないので、束縛をまとめるのは難しいんじゃないかと。