[Improvement]: Integrate error semtype into jBallerina type engine

[lochana-chathura]

Description

$subject.

[lochana-chathura]

After integrating a test failure for the following narrowed sample.

type M map<Cloneable>;

// @type M < MC
type MC map<any|E>;

type E error<map<Cloneable>>;

type Cloneable readonly|Cloneable[]|map<Cloneable>;

Looking into it.

[lochana-chathura]

The reason for the above failure is, in the semtype environment we pre-define the readonly type. It includes the types that are not integrated into the compile-time. It is causing the above test failure.

[lochana-chathura]

The reason for the above failure is, in the semtype environment we pre-define the readonly type. It includes the types that are not integrated into the compile-time. It is causing the above test failure.

Well, to fix this we need two environments for ported semtype tests and jballerina unit tests which only support part of the semtypes. It was achieved using a system property as per 10f0ced.

[lochana-chathura]

Closing with #42912