checkConstraint -> checkTypeEq to match checkKindEq
checkConstraint -> checkTypeEq to match checkKindEq

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