(let ((foo 'outer)) outer-process ...
(let ((foo 'inner)) inner-process ...))
みたいに、最後に束縛するときって、 foo を 'outer に戻せなくてもいいよね。
一般化すると…束縛作る form の末尾の部分で、更に束縛作るとき、って感じだと思う。
outer の末尾で inner が束縛作るとき、 outer が作った束縛を、 inner が作ったように引き継いで…
重複する部分は inner のほうで上書きするようにすると、相互再帰くらいならできそうな気がする。
…やっぱり demerit 大きいかな…

あ、私も multi-thread ほしい…
でも、 dynamic binding と multi-thread って相性悪そうだから、 lexical ができてからかな…
それとも、 obarray 差し換えとかで対応できるかな。