FWIW, Common Lisp's macro system is relatively simple. I've been meaning to check out http://beautifulracket.com/ http://beautifulracket.com/ sometime to learn

FWIW, Common Lisp's macro system is relatively simple. I've been meaning to check out http://beautifulracket.com/ http://beautifulracket.com/ sometime to learn about the Racket way. Maybe Datalog could make a cleaner base for your project? Just a random thought; bound to be lots more considerations. Yeah, I have a project right now too where these questions come up -- https://github.com/darius/squeam https://github.com/darius/squeam -- though it's not really ready for anyone.