further condensing macro tests
even more condensing
arity tests for untyped macros