Ioke has an interesting macro system https://olabini.com/blog/2009/01/macro-types-in-ioke-or-what-is-a-dmacro/ (essentially f-exprs AFAICS. I've accidentally implemented f-exprs in the past)