Rethinking macros. How does a modern macro system looks like?