Split out type flattening-validity checking rather than working in the error monad
Split out type flattening-validity checking rather than working in the error monad

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