MacroExtensions: update tests
MacroExtensions: venture into untyped reification + brute inline-based specialization