Tweaks to cheap reduction to make `Fin 10` work
Tweaks to cheap reduction to make `Fin 10` work

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