untyped macros, part I: parser changes
make use of UntypedType:
* Inferred type of macro defs
* Return type of macro types
fixup type macros
tests for untyped macros
fixup untyped macros
fixup tests for untyped macros
fixup untyped macros
fixup tests for untyped macros
fixup type macros
fixup tests for untyped macros
better error messages:
* too few / too many arguments lists
* macro applications do not support
tests for non-untyped macros
condensing macro tests
fixup tests for untyped macros
condensing
tests for untyped macros
macro type, not type macro!