Yes, in that LISP macros can certainly be used to achieve what I want.

Maybe, in that I don’t know that there’s a fledgeling community of people sharing and re-using Lisp macros for domain-specific problems. THIS is what I am looking for – libraries that turn Lisp into an even higher-level language.

Granted, I haven’t looked closely. Maybe I’m just too excited about the prospect of XL actually existing to properly research the next-best thing. (The Concept Programming link in the post above? Brilliant stuff.) Which is shortsighted of me, I admit, and something I will probably rectify soon. Might as well work with something mature that gives the power that I want while I’m waiting.

Incidentally, does anyone know if a similar functionality exists in an ML derivative? I sort of get the feeling that if it did, OCaml would be an SML library.