feat(hir): expand SystemVerilog type ADT

[hongjr03]

Summary

Third slice of the semantic-foundations stack, repurposed from the original bundle. Stacked on #289 (symbol/scope core) and #290 (hierarchical paths).

• Expand the SystemVerilog type ADT: enum, union, queue, associative, dynamic, event, and chandle types.
• Add lowering and display coverage for the new type variants (display.rs, data_ty.rs, type_infer.rs).
• Wire semantic_tokens and the extract_variable code action to the expanded types.

Validation

• cargo fmt --all -- --check
• cargo clippy --workspace --all-targets -- -D warnings
• cargo test --workspace (483 passed)

Notes

This PR is now scoped to the type ADT expansion only; the symbol/scope cut-over and hierarchical path resolution moved into #289 and #290. Class/interface specialization, assertions, and package/class :: constructs remain deferred to later PRs.

Previously this branch bundled all three slices. It has been rebased so its tree is byte-identical to the original feat/sv-type-adt tip; only the commit grouping changed.

[github-actions]

Docs preview: https://vide.pascal-lab.net/preview/pr-288/