While a simple lisp-like macro system would indeed be convenient when requiring a tool to transform source code, it must be mentioned that metaprogramming as in generating large amount of code based on unpredictable input is better served by tools like metaocaml or, I've heard, template Haskell, which have no equivalent that I'm aware of in lisp world.