Those compiler features were all implemented as macros at some point in the history of language design. The thing about macros is that they allow you to experim

Those compiler features were all implemented as macros at some point in the history of language design. The thing about macros is that they allow you to experiment with language design in the language you are working with (which is obviously much easier when your language is homoiconic).