Improve `check` error message and document query-based semantics for constructor terms#843

Draft

Copilot wants to merge 3 commits intomainfrom

copilot/fix-materialize-constructors-checks

Commits on Apr 9, 2026

Initial plan
Copilot
authored
Improve check error message and add documentation for constructor term behavior

Copilot
and
saulshanabrook
authored
Add equality check test for two variable references to same constructor term

Copilot
and
saulshanabrook
authored