えーと、Schemeの場合だと、

'((lambda (lambda) (lambda (a b) (list a b))) list)

みたいな入力リストがあったら、3番目のlambdaは束縛変数になる
わけだが、それはどうしよう。
出題者はLisp-2を考えてるみたいだから考えなくてもいいんかな。