Honu: Syntactic Extension for Algebraic Notation (2012) [pdf] 7 years ago
it would be really cool to have a way to create compilers for arbitrary languages using advanced syntax macros. especially if the lisp representation is callable from other lisp programs AND other languages
You are perfectly describing Racket here.