マクロによってシンボルが束縛変数になるかどうか判定するのが不可能っぽい気がする。