Add some TBD questions about how macroexpand is behaving