fixup tests for untyped macros
fixup overload implementation restriction
implementation restriction: untyped macros cannot override as well