Description

This PR fills in missing hover population in the parser SourceMap for docs-backed keywords.

• domain substructure details (tuple, matrix, record, set)
• quantifier/aggregate keywords (forAll, exists, sum, min, max)

Related issues

Closes Issue #1585

Key changes

• parser/domain.rs

  • Integer range hover now uses documented key:
    • int_range nodes -> range
    • .. separator token -> range
  • Tuple domain hover now consistently uses docs key L_tuple (including parenthesised tuple form), while retaining arity metadata.
  • keyword hover for matrix (docs-backed).
  • Added docs-backed hover for set attribute keywords:
    • size -> L_size
    • minSize -> L_minSize
    • maxSize -> L_maxSize

• parser/comprehension.rs

  • Added docs-backed operator hover only where docs exist:
    • min -> min
    • max -> max
  • No hover is added for undocumented operator keys (forAll, exists, sum).

• parser/domain.rs cleanup
  -u32 conversion before Node::child(...) index access.

How to test/review

• run extension.ts
• test on essence files, hover on keywords mentioned above