More subsCheck order fixes

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (b324264) 91.96% compared to head (022338e) 92.15%.

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #1061 +/- ## ========================================== + Coverage 91.96% 92.15% +0.19% ========================================== Files 93 93 Lines 9882 9881 -1 Branches 2325 2322 -3 ========================================== + Hits 9088 9106 +18 + Misses 794 775 -19 ``` | [Files](https://app.codecov.io/gh/johnynek/bosatsu/pull/1061?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin) | Coverage Δ | | |---|---|---| | [.../src/main/scala/org/bykn/bosatsu/rankn/Infer.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1061?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L3JhbmtuL0luZmVyLnNjYWxh) | `96.83% <100.00%> (-0.01%)` | :arrow_down: | ... and [8 files with indirect coverage changes](https://app.codecov.io/gh/johnynek/bosatsu/pull/1061/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.