MacroExtensions: experiment with untyped reification
MacroExtensions: more untyped reification