Looks like this re-does a bunch that `env-lang.rkt` does as well.  Can that be abstracted?