[Typer] [Git][monnier/typer][dev/characterization] 24 commits: * src/subst.ml (subst): Fold a `Shift` into the `Identity`.