Improved hovers over syntax definition elements

[rodinaarssen]

This PR improves the text presented to users when hovering over syntax definition elements.

• When hovering over some elements (such as comments, parentheses or pipe symbols), users would be presented with the internal representation (aprod(prod(.....))).
• Some regular symbols are normalized during normal processing (e.g., "iter-star" into "iter-star-seps"). The normalized form would unexpectedly show up in hovers (Syntax list type hover prints normalized separated list instead of user-level original syntax list #2449).

This was fixed by adding missing cases for prettyAType in the Rascal type checker.

Fixes #2449

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 46%. Comparing base (4e22b76) to head (52b83b0).
⚠️ Report is 7 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##              main   #2800   +/-   ##
=======================================
  Coverage       46%     46%           
- Complexity    6718    6720    +2     
=======================================
  Files          839     839           
  Lines        66766   66766           
  Branches      9983    9983           
=======================================
+ Hits         30771   30776    +5     
- Misses       33604   33607    +3     
+ Partials      2391    2383    -8     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[PaulKlint]

Well spotted omissions. Looks good. Thanks!