Implement Prop pattern matching tyck

[mio-19]

TODO:

• Generate ErasedTerm for pattern matching

[codecov]

Codecov Report

Merging #629 (6722eb4) into main (c91c451) will decrease coverage by 0.82%.
The diff coverage is 82.60%.

@@             Coverage Diff              @@
##               main     #629      +/-   ##
============================================
- Coverage     79.97%   79.14%   -0.83%     
+ Complexity     2816     2763      -53     
============================================
  Files           229      231       +2     
  Lines          8919     9107     +188     
  Branches       1096     1114      +18     
============================================
+ Hits           7133     7208      +75     
- Misses         1197     1290      +93     
- Partials        589      609      +20     

Impacted Files	Coverage Δ
...main/java/org/aya/cli/library/LibraryCompiler.java	82.51% <0.00%> (ø)
base/src/main/java/org/aya/tyck/env/LocalCtx.java	84.09% <50.00%> (+5.02%)	⬆️
base/src/main/java/org/aya/tyck/ExprTycker.java	83.63% <100.00%> (+0.17%)	⬆️
base/src/main/java/org/aya/tyck/StmtTycker.java	87.68% <100.00%> (ø)
base/src/main/java/org/aya/tyck/pat/PatTycker.java	90.94% <100.00%> (-0.12%)	⬇️
...src/main/java/org/aya/tyck/pat/PatternProblem.java	87.30% <100.00%> (+0.86%)	⬆️
...in/java/org/aya/concrete/visitor/ExprConsumer.java	57.14% <0.00%> (-42.86%)	⬇️
cli/src/main/java/org/aya/cli/repl/AyaRepl.java	68.75% <0.00%> (-11.69%)	⬇️
base/src/main/java/org/aya/core/visitor/Subst.java	80.95% <0.00%> (-9.53%)	⬇️
...c/main/java/org/aya/core/visitor/BetaExpander.java	64.21% <0.00%> (-8.41%)	⬇️
... and 44 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[ice1000]

I'll try to change something

[ice1000]

bors r+

[bors]

Build succeeded:

• commit-check
• gradle-check