Perhaps. Though (PLT) Scheme seems (to me) the better basis for any work on Lisp nowadays. Common Lisp is just too ugly.
To me that's just part of the beauty of Common Lisp. While it is rather ugly in some places, it has these nuggets of just pure gold.
(I actually do not know scheme well enough to say. Are such complicated macros possible in it?)
(And I would not want to do loop in Scheme. That's just too imperative. Interestingly Haskell's special syntax for Monads and its lazyness makes the need for most macros / special forms go away (though not for all, and Haskell has plenty of syntax on the surface).)
Consider that Paul Graham, the author of the fine book "On Lisp", chose PLT Scheme to implement Arc on top.