Have you found LLMs to be good at metalinguistic abstraction? I have used them a little bit for lisp programming but never once have I seen them introduce macro.

I explicitly asked LLM to write abstract away with a DSL and it did that. LLMs are good at this too.