Pretty print/literate mode features

[codecov[bot]]

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 :warning:
...ain/java/org/aya/cli/literate/SyntaxHighlight.java	75.00%	0 Missing and 1 partial :warning:
...java/org/aya/syntax/concrete/stmt/StmtVisitor.java	50.00%	0 Missing and 1 partial :warning:
...src/main/java/org/aya/syntax/core/def/TyckDef.java	88.88%	0 Missing and 1 partial :warning:
...rc/main/java/org/aya/syntax/telescope/JitTele.java	0.00%	1 Missing :warning:

Additional details and impacted files

```diff @@ 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 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.