[Typer] [Git][monnier/typer][unification] 9 commits: finished type_ macro