Reduction Rule

[HoshinoTented]

TODO List:

• FnShape and matcher
• Reduction rule
• Fix bugs
• Close this PR, and rePR them in several small PRs.

[codecov]

Codecov Report

Attention: 85 lines in your changes are missing coverage. Please review.

Comparison is base (76775f6) 81.85% compared to head (9a364e9) 81.42%.
Report is 9 commits behind head on main.

Files	Patch %	Lines
...se/src/main/java/org/aya/core/term/IntegerOps.java	33.33%	17 Missing and 3 partials ⚠️
.../src/main/java/org/aya/tyck/repr/ShapeFactory.java	23.52%	13 Missing ⚠️
base/src/main/java/org/aya/tyck/ExprTycker.java	66.66%	3 Missing and 6 partials ⚠️
...e/src/main/java/org/aya/core/term/RuleReducer.java	46.66%	7 Missing and 1 partial ⚠️
...e/src/main/java/org/aya/core/term/IntegerTerm.java	66.66%	4 Missing and 2 partials ⚠️
base/src/main/java/org/aya/core/serde/SerTerm.java	61.53%	5 Missing ⚠️
...e/src/main/java/org/aya/core/serde/Serializer.java	76.19%	4 Missing and 1 partial ⚠️
base/src/main/java/org/aya/core/serde/SerDef.java	20.00%	4 Missing ⚠️
base/src/main/java/org/aya/terck/CallResolver.java	78.94%	1 Missing and 3 partials ⚠️
...c/main/java/org/aya/tyck/unify/TermComparator.java	76.92%	2 Missing and 1 partial ⚠️
... and 5 more

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #995      +/-   ##
============================================
- Coverage     81.85%   81.42%   -0.44%     
- Complexity     3441     3462      +21     
============================================
  Files           287      291       +4     
  Lines         10638    10789     +151     
  Branches       1284     1325      +41     
============================================
+ Hits           8708     8785      +77     
- Misses         1207     1271      +64     
- Partials        723      733      +10     

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