Rename keyword partial to nonterminating

[ice1000]

As title

[codecov]

Codecov Report

Attention: Patch coverage is 90.90909% with 1 line in your changes missing coverage. Please review.

Project coverage is 83.63%. Comparing base (88913ad) to head (557e988).
Report is 4 commits behind head on main.

Files with missing lines	Patch %	Lines
...se/src/main/java/org/aya/normalize/Normalizer.java	0.00%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1323      +/-   ##
============================================
- Coverage     83.63%   83.63%   -0.01%     
  Complexity     4168     4168              
============================================
  Files           375      375              
  Lines         12062    12060       -2     
  Branches       1425     1425              
============================================
- Hits          10088    10086       -2     
  Misses         1217     1217              
  Partials        757      757              

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

[mio-19]

This keyword is so long

[ice1000]

This keyword is so long

True. It's shorter than the Agda equivalent though.