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
tests for non-untyped macros
condensing macro tests
fixup untyped macros step II
fixup tests for untyped macros
fixup untyped macro tests
condensing
tests for untyped macros
fixup untyped macro tests
macro type, not type macro!