[Typer] [Git][monnier/typer][unification] * src/unification.ml (unify'): Don't fail if the args are conv_p.