Sigma transport

[ice1000]

/cc @lunalunaa

Also fix lipu bug

[codecov]

Codecov Report

Merging #649 (7fc2298) into main (40d51fd) will increase coverage by 0.02%.
The diff coverage is 95.23%.

❗ Current head 7fc2298 differs from pull request most recent head 867f5e3. Consider uploading reports for the commit 867f5e3 to get more accurate results

@@             Coverage Diff              @@
##               main     #649      +/-   ##
============================================
+ Coverage     79.57%   79.59%   +0.02%     
- Complexity     2844     2847       +3     
============================================
  Files           255      255              
  Lines          9163     9169       +6     
  Branches       1119     1120       +1     
============================================
+ Hits           7291     7298       +7     
  Misses         1270     1270              
+ Partials        602      601       -1     

Impacted Files	Coverage Δ
...ase/src/main/java/org/aya/core/term/SigmaTerm.java	75.86% <94.44%> (+6.29%)	⬆️
base/src/main/java/org/aya/tyck/ExprTycker.java	86.65% <100.00%> (ø)
...c/main/java/org/aya/tyck/unify/TermComparator.java	75.35% <0.00%> (+0.28%)	⬆️

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

[ice1000]

bors r+

[bors]

Build succeeded:

• commit-check
• gradle-check