I think the macro system looks really interesting. The main ideas seem to be that meta programming can be done anywhere and that everything is quoted by default

I think the macro system looks really interesting. The main ideas seem to be that meta programming can be done anywhere and that everything is quoted by default in macros. What are thes kind of macros called, and where do they come from?