横からですまん。ちょっと論点整理していい？素人なので違ってたらつっこんで欲しい。
Schemer も Lisper もとりあえず合意できることを列挙しておきたいんだ。

1. Common Lisp の伝統的マクロは健全(衛生的)でない。ので、危険性はゼロでない。
1.1 しかし、CL では大規模プロダクトでも何ら問題は生じておらず、実用的な
道具になっている。理由は、Lisp-2 であること、パッケージロックの機構(ただし処理系依存)の二つ。
2. Scheme は健全なマクロを目指している。
2.1 そもそもlisp-1 のため CL よりも健全性が問題になりやすい。
2.2 syntax-rules は高水準の仕組みで 衛生的マクロとイコールではない。