[Typer] [Git][monnier/typer][bosn] 2 commits: Populate soundness proof with typing rules; rephrase some sentences to be…