MacroExpansions: more tests