Use names for fields of linearization environments
Use names for fields of linearization environments

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang