[Typer] [Git][monnier/typer][unification] 7 commits: clean unification.ml