wip arity tests for untyped macros