untyped macros, part II: untyped-aware macro engine
make use of UntypedType:
* Inferred type of macro defs
* Return type of macro types