Test input and result for 289.

[Issue: #289]
Small fix to add type name to invariant violation error
Merge remote-tracking branch 'origin/development' into ncb/development
Merge remote-tracking branch 'origin/pvj/main' into ncb/development
Merge remote-tracking branch 'origin/development' into ldc/quickies
Add matching bracket highlighting.

[Issue: close 367]
Merge remote-tracking branch 'origin/pvj/main' into ncb/development
Implement object patterns, fixes #25
Add obj_ keyword
Merge remote-tracking branch 'origin/ldc/quickies' into jwc/base
Add outline icons for functions.

[Issue: #369]
Use new function icons in the outline.

[Issue: close #369]
Release notes for v2.1.2
Add a sorter for VdmNavigator.

[Issue: #276]
[maven-release-plugin] prepare release Release/2.1.2
Bump ide/ to version 2.1.2
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 2.1.3-SNAPSHOT
Merge remote-tracking branch 'origin/development' into ldc/quickies
Fix for pattern type checking