[Typer] [Git][monnier/typer][unification] Make explicit args reordering work