[Typer] [Git][monnier/typer][simon-genier] 2 commits: Add eliminators for Pair in pervasive.typer.