[Typer] [Git][monnier/typer][master] * src/typecheck.ml: Actually implement a simple conv_p