Touch up Imp.hs in a couple places as I read through it.
Touch up Imp.hs in a couple places as I read through it.

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