Also, what if the explicitly-unhygienic macros want to have some hygiene? By this I mean that, for example, if you make "aif" totally unhygienic, more than just "it" gets exposed. "@if" is in no way a black box - you also need to be concerned about shadowing "let", "car", etc.