[Typer] [Git][monnier/typer][master] 2 commits: * src/elab.ml (sform_lambda): Rename the type's var