fix: type checking check operators with `because`#1796

Merged

jpolitz merged 3 commits intobrownplt:horizonfrom

ironm00n:fix/type-check-because

Aug 19, 2025

Commits on Jul 24, 2025

fix: add missing `current-checker` global types, so `because` desugar can be type checked
ironm00n
committed
test: type-check tests for each type of check operator, with and without `because`
ironm00n
committed
promote two type-check test from should pass to good
ironm00n
committed