Implement runtime type checker on SemTypes #8733

Job	Run time
Build Ballerina Lang	7m 14s
Build Ballerina Distribution	2h 0m 13s
Build Stdlib Level (1)	4m 7s
Build Stdlib Level (2)	12m 2s
Build Stdlib Level (3)	8m 52s
Build Stdlib Level (4)	17m 20s
Build Stdlib Level (5)	43m 5s
Build Stdlib Level (6)	27m 15s
Build Stdlib Level (7)	2h 0m 14s
Build Stdlib Level (8)	33m 44s
Build Stdlib Level (9)	5m 0s
	6h 39m 6s

Provide feedback