feat: optional error messages for constraints

[lars-reimann]

Closes #1082

Summary of Changes

Constraints can now have custom error messages. These can be static strings or template strings that references constant parameter, e.g. in

@Pure fun f(
    const p1: Int,
    const p2: Int = -2,
) where {
    p1 >= 0 else "This parameter must be non-negative.",
    p2 > p1 else "p2 must be greater than p1, but p2 was {{ p2 }} and p1 was {{ p1 }}.",
}

[github-actions]

🦙 MegaLinter status: ✅ SUCCESS

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ JSON	jsonlint	2		0	0.2s
✅ JSON	npm-package-json-lint	yes		no	0.6s
✅ JSON	prettier	2	0	0	0.9s
✅ JSON	v8r	2		0	2.13s
✅ PYTHON	black	1	0	0	0.91s
✅ PYTHON	mypy	1		0	2.39s
✅ PYTHON	ruff	1	0	0	0.26s
✅ REPOSITORY	git_diff	yes		no	0.15s
✅ TYPESCRIPT	eslint	4	0	0	5.91s
✅ TYPESCRIPT	prettier	4	0	0	1.08s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.75%. Comparing base (1a3bf80) to head (750eb76).
Report is 37 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1275   +/-   ##
=======================================
  Coverage   99.75%   99.75%           
=======================================
  Files         113      114    +1     
  Lines       12751    12790   +39     
  Branches     4190     4203   +13     
=======================================
+ Hits        12720    12759   +39     
  Misses         31       31           

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

[lars-reimann]

🎉 This PR is included in version 0.23.0 🎉

The release is available on:

• npm package (@latest dist-tag)
• npm package (@latest dist-tag)
• v0.23.0
• GitHub release

Your semantic-release bot 📦🚀