Pretty print/literate mode features

[ice1000]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 83.33333% with 8 lines in your changes missing coverage. Please review.

Project coverage is 78.78%. Comparing base (0d35dfc) to head (fd42ae9).
Report is 1 commits behind head on main.

Files	Patch %	Lines
...in/java/org/aya/syntax/telescope/AbstractTele.java	42.85%	4 Missing ⚠️
...ain/java/org/aya/cli/literate/SyntaxHighlight.java	75.00%	0 Missing and 1 partial ⚠️
...java/org/aya/syntax/concrete/stmt/StmtVisitor.java	50.00%	0 Missing and 1 partial ⚠️
...src/main/java/org/aya/syntax/core/def/TyckDef.java	88.88%	0 Missing and 1 partial ⚠️
...rc/main/java/org/aya/syntax/telescope/JitTele.java	0.00%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1094      +/-   ##
============================================
+ Coverage     78.69%   78.78%   +0.08%     
- Complexity     3176     3188      +12     
============================================
  Files           291      291              
  Lines          9764     9795      +31     
  Branches       1145     1148       +3     
============================================
+ Hits           7684     7717      +33     
+ Misses         1439     1436       -3     
- Partials        641      642       +1     

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