Matched type

[Negabinary]

Separate out matched type and try to do some cleanup around how matching polymorphism works

[codecov]

Codecov Report

❌ Patch coverage is 78.16092% with 19 lines in your changes missing coverage. Please review.
✅ Project coverage is 49.77%. Comparing base (85bb8b9) to head (04f5e14).
⚠️ Report is 265 commits behind head on dev.

Files with missing lines	Patch %	Lines
src/language/statics/MatchedTyp.re	89.09%	6 Missing ⚠️
src/language/statics/Ctx.re	50.00%	5 Missing ⚠️
src/language/statics/ConstructorMap.re	0.00%	4 Missing ⚠️
src/language/proof/ProofHacks.re	0.00%	2 Missing ⚠️
src/web/app/editors/stepper/RewriteChecker.re	0.00%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev    #2081      +/-   ##
==========================================
- Coverage   49.81%   49.77%   -0.04%     
==========================================
  Files         218      219       +1     
  Lines       23106    23123      +17     
==========================================
  Hits        11510    11510              
- Misses      11596    11613      +17     

Files with missing lines	Coverage Δ
src/language/statics/CustomStatics.re	87.29% <ø> (ø)
src/language/statics/Statics.re	85.86% <100.00%> (-0.21%)	⬇️
src/language/term/IdTagged.re	70.83% <100.00%> (+2.65%)	⬆️
src/language/term/TPat.re	95.00% <100.00%> (+0.88%)	⬆️
src/language/term/Typ.re	61.51% <ø> (-1.67%)	⬇️
src/language/proof/ProofHacks.re	2.59% <0.00%> (ø)
src/web/app/editors/stepper/RewriteChecker.re	0.00% <0.00%> (ø)
src/language/statics/ConstructorMap.re	72.97% <0.00%> (-1.80%)	⬇️
src/language/statics/Ctx.re	37.12% <50.00%> (-0.48%)	⬇️
src/language/statics/MatchedTyp.re	89.09% <89.09%> (ø)

... and 12 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.