make use of UntypedType:
* Inferred type of macro defs
* Return type of macro types