MacroExtensions: turn untyped reification on by default!!!