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