Implement new error design

[hasithaa]

Implementation issue to track #ballerina-platform/ballerina-spec#509

Sub Tasks

Error Type descriptor

• the error reason string is removed
• the error type descriptor has a single type parameter, which specifies the detail record

Update to Error Detail Record and Constructor

• message and cause move from the detail record into the error itself
  • the type is string and error? respectively
  • the message is required
  • the cause defaults to () if not specified
  • they are specified by positional arguments to the error constructor
  • lang.error provides message and cause functions to access them
• the required type of detail record is map<anydata|readonly> (with no predefined fields)
• the positional parameters of error constructors specify the message and cause
• if the error constructor uses a type that does not specify a detail record type with individual fields, then named arguments can be used to specify arbitrary fields
• if the error constructor uses a type that does specify a detail record type with individual fields, then the named arguments can only be used to specify those fields; other fields must be specified with ... and a mapping constructor (not sure if this functionality is really necessary)

Distinct Error Type

• Implement Distinct Error syntax

• Implement type-id support

• Fix failing stdlib module tests due to error change Fix failing stdlib module tests due to error change #23594

• Fix failing jballerina-unit-tests due to error change.

• Fix and align error destructuring binding pattern Fix and align error destructuring binding pattern #23591

• Fix and align error destructuring assignment binding pattern Fix and align error destruturing assignment binding pattern #23592

• Re-enable tests disabled with brokenOnErrorChange Re-enable tests disabled with brokenOnErrorChange #23702

• Align Ballerina runtime generated errors to new error format Align Ballerina runtime generated errors to new error format. #23746

• Align error values stringValue method with the spec Align error values stringValue method with the spec. #23897

• Support intersection types for error type Support intersection types for error type definition #24403

• Need to check and support error cause in QueryDesugar Need to check and support error cause in QueryDesugar #23858

• Fix error match pattern to support error cause Fix error match pattern to support error cause #23593

[hasithaa]

This is done.