[Task]: Intersection of readonly and record type with defaults

[chiranSachintha]

Description

Task 1
For more details please refer ballerina-platform/ballerina-spec#544

As we currently allow only intersections with read-only type, we have fixed the above issue for those specific scenarios through the implementation of the PR.

So as an example, with the above PR we have disallowed the following kinds of scenarios

type Foo1 record {|
    any[] x = [1, 2];
|};

function value() {
    Foo1 & readonly _ = {};
}

After allowing other intersections we need to fix those as well.

Describe your task(s)

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response