[Typer] [Git][monnier/typer][unification] * src/lparse.ml: Revert a few more reversions