[Typer] [Git][monnier/typer][unification] Missing changes in last commit