Rewrite Aya using locally nameless and HOAS+JIT compilation

[ice1000]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 79.95297% with 341 lines in your changes are missing coverage. Please review.

Project coverage is 72.22%. Comparing base (cc566f4) to head (b7fd016).
Report is 1 commits behind head on main.

Files	Patch %	Lines
base/src/main/java/org/aya/tyck/ExprTycker.java	75.24%	36 Missing and 15 partials ⚠️
.../src/main/java/org/aya/tyck/pat/PatternTycker.java	77.40%	30 Missing and 10 partials ⚠️
.../java/org/aya/resolve/visitor/PatternResolver.java	57.89%	13 Missing and 3 partials ⚠️
base/src/main/java/org/aya/terck/CallResolver.java	68.62%	9 Missing and 7 partials ⚠️
...se/src/main/java/org/aya/normalize/PatMatcher.java	72.00%	9 Missing and 5 partials ⚠️
.../src/main/java/org/aya/primitive/ShapeMatcher.java	73.58%	7 Missing and 7 partials ⚠️
...ase/src/main/java/org/aya/resolve/salt/Desalt.java	60.00%	6 Missing and 8 partials ⚠️
...in/java/org/aya/resolve/salt/PatternBinParser.java	45.83%	12 Missing and 1 partial ⚠️
base/src/main/java/org/aya/tyck/StmtTycker.java	91.03%	3 Missing and 10 partials ⚠️
...ain/java/org/aya/resolve/visitor/ExprResolver.java	81.66%	7 Missing and 4 partials ⚠️
... and 35 more

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1042      +/-   ##
============================================
- Coverage     81.36%   72.22%   -9.15%     
+ Complexity     3532     2814     -718     
============================================
  Files           291      281      -10     
  Lines         10762     9337    -1425     
  Branches       1310     1099     -211     
============================================
- Hits           8757     6744    -2013     
- Misses         1263     1970     +707     
+ Partials        742      623     -119     

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

[imkiva]

oh this is really coooooooool