[Improvement]: Reuse the existing semtype port tests to test the runtime semtype implementation

[heshanpadmasiri]

Description

We already has type testing framework for testing compiler side implementation of semtypes. We should be able to refactor the logic such that we can just replace the type checking and type resolution logic and run same tests on both compiler and runtime type systems.

Describe your problem(s)

No response

Describe your solution(s)

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response