Macros tickle a certain peculiar part of my brain. I have this idea of making a lisp that at its core is just some static single assignment language, or some other type of IR. And then all the traditional control flow features would be implemented using macros. You could even implement optimization passes as macros. I haven’t been brave enough to actually try it, but I imagine if I did I would need some more powerful macro features like this.