[Typer] [Git][monnier/typer][master] 3 commits: Use the environment augmented with the new bindings for type erasure.