Fix start&top implementation in typechecker

[DavyLandman]

This PR continues the work in #2499 (that was merged to main a bit too soon) to fix #2496

• removes subtype relation between start[X] and X (in asubtype, alub, aglb)
• removes subtype relation between start symbols and regular symbols (lists)
• removes special cases for field selection and field update on .top
• removes special cases for \start non-terminal whereever the contextFreeSyntax role is expected by adding a role field to the start AType
• adds an implicit/automatic declaration, for every syntax rule for X that has a start modifier:
  • start production rule start[X] = X;
  • top field start[X] = X top;
  • layout wrapping start[X] = L X L;
• removes more special cases in the back-end
• removes missed special cases in the collector for pattern matching
• removed API functions isStart* and getStart* that were used for detecting the old special cases

Together these changes solve a small number of known issues with start symbols, and a larger number of previously undetected issues.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 46%. Comparing base (f6d6bbe) to head (1109b3d).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##              main   #2551   +/-   ##
=======================================
  Coverage       46%     46%           
- Complexity    6725    6731    +6     
=======================================
  Files          794     794           
  Lines        65923   65923           
  Branches      9888    9888           
=======================================
+ Hits         30837   30842    +5     
+ Misses       32696   32691    -5     
  Partials      2390    2390           

☔ View full report in Codecov by Sentry.
📢 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.

[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

[jurgenvinju]

Looks good. Needs an integration test.

[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

[DavyLandman]

@jurgenvinju this is your own code ;) I merely did some git cooking to extract it from a different PR.

[jurgenvinju]

@PaulKlint should we use typepal's "predefine" functionality instead of constructing an artificial field location for "top"?

Same for the entire start rule. Should we use predefine for that as well?