untyped macros, part II: untyped-aware macro engine
make use of UntypedType:
* Inferred type of macro defs
* Return type of macro types
fixup type macros
tests for untyped macros
implementation restriction: untyped macros cannot be overloaded
implementation restriction: untyped macros ignore partial type annotations
implementation restriction: untyped macros cannot override as well
better error messages:
* too few / too many arguments lists
* macro applications do not support
more invalidusage-badargs tests for non-untyped macros
fixup too few argument lists
condensing macro tests
even better error messages
fixup untyped macro tests
condensing
exhaustive tests for untyped macros
fixup untyped macros step II
fixup untyped macro tests
fixup untyped macro tests
fixup named and/or default
macro type, not type macro!