Well... the whole expansion and hygiene renaming phases happen in `syntax::ext`.