個人的な意見だけど、ハイジーニックなマクロは
define-macroに付き物の 「実行時・コンパイル時」とかそういう「泥臭い」概念を
排除して、純粋に「アルゴリズミックランゲージ」を追求しようとしたんじゃない
かなーと思う。
あと、コンパイル時にLispコードが走るってのは理論面でちょっと扱いづらい
ような気もするので、それもあるかも。

まぁ良し悪しは別ね。

俺はdefine-macroの方が好き。