>>573
ありがとうございます．ようやく理解できました．
マクロ使用における束縛関係の優先順位も，使用時の束縛関係が
定義時の束縛関係に優先するとしたほうが自然であると納得できました．
私の混乱の原因のひとつに，マクロのtemplate上のsymbol「=>」と，
マクロを適用するユーザコード上のsymbol「=>」とを混同していたことが
ありました．これらを明確に区別すべきでした．
なお，>>567に書きました非scmの処理系はbigloo(ver.3.0c)です．
また，guileはdefine-syntaxやsyntax-rules自体を実装していないようです．