[Typer] [Git][monnier/typer][unification] 2 commits: * src/lparse.ml (_lexp_p_check): Check inferred type with conv_p