fix materializeAtom for creating out of context subexpression
fix materializeAtom for creating out of context subexpression

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