Add lots of notes on macro expansion