Match elim

[dark-flames]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 92.64706% with 5 lines in your changes missing coverage. Please review.

Project coverage is 83.70%. Comparing base (c98f94d) to head (4a0750c).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
base/src/main/java/org/aya/tyck/ExprTycker.java	89.65%	1 Missing and 2 partials ⚠️
...ax/src/main/java/org/aya/syntax/concrete/Expr.java	71.42%	2 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1328      +/-   ##
============================================
+ Coverage     83.63%   83.70%   +0.07%     
- Complexity     4191     4201      +10     
============================================
  Files           377      377              
  Lines         12118    12140      +22     
  Branches       1428     1432       +4     
============================================
+ Hits          10135    10162      +27     
+ Misses         1221     1217       -4     
+ Partials        762      761       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[ice1000]

Very very high quality first PR! I'll patch the error report myself and you'll be good to go