More robust parsing

[ice1000]

Addresses a privately reported issue from @SchrodingerZhu
bors r+

[ice1000]

bors r-

[bors]

Canceled.

[ice1000]

bors r+

[codecov]

Codecov Report

Merging #876 (10596dc) into main (1ecad86) will decrease coverage by 0.01%.
The diff coverage is 83.01%.

@@             Coverage Diff              @@
##               main     #876      +/-   ##
============================================
- Coverage     82.15%   82.13%   -0.02%     
- Complexity     3374     3382       +8     
============================================
  Files           287      287              
  Lines         10500    10530      +30     
  Branches       1249     1257       +8     
============================================
+ Hits           8626     8649      +23     
- Misses         1166     1171       +5     
- Partials        708      710       +2     

Impacted Files	Coverage Δ
base/src/main/java/org/aya/concrete/Expr.java	88.23% <ø> (ø)
...src/main/java/org/aya/cli/parse/AyaGKProducer.java	89.83% <82.00%> (-0.75%)	⬇️
...c/main/java/org/aya/concrete/error/ParseError.java	100.00% <100.00%> (ø)
.../src/main/java/org/aya/tyck/unify/Synthesizer.java	59.61% <100.00%> (ø)

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

[bors]

Build succeeded:

• commit-check
• gradle-check