syntax-case
explicit-renaming
implicit-renaming
syntactic-closure
reverse-syntactic-closure
主要なマクロスシステムといえばこれくらいか。
どれかひとつがあれば他は実装可能で、
伝統的マクロで可能な全てのことも可能であることがわかってる。
能力的に同等なのでどれかを採用するという決め手がなくていまだに決着がついてない。