arcがlisp-1で伝統マクロを使ってるからと言って変数がシャドウされやすいという問題がなくなったわけではないでしょ
ちょっと検索するとarcにhygienic macroくっつけたコンパイラが公開されてたりするみたいだし
arcのtutorialに書いてあるように、grahamがhygienic macroに対し懐疑的なのでそういう実装になってるだけ
それに対して、変数のシャドウが問題だと考える人たちもいて、>>591というかschemeコミュニティはそっちの考えが主流なんでしょ

でいいのかな、あんま詳しくないけど