でも、マクロ定義自身に自由変数が出現した時は、
その自由変数はマクロを使用する環境じゃなくて、
マクロを定義した環境で評価されなくちゃいけないんでしょ?
それって関数と同じじゃないですか?