[Typer] [Git][monnier/typer][master] * src/lparse.ml: Fix missing type error detection after unify