Fix generic type system implementation and update semantic analyzer #1

Job	Run time
Benchmark	3s
Test (ubuntu-latest, stable)	1m 3s
Security Audit	2m 47s
Test (ubuntu-latest, beta)	1m 3s
Test (windows-latest, stable)	55s
Test (macos-latest, stable)	50s
Minimum Supported Rust Version	11s
Check Examples	16s
Code Coverage	1m 46s
	8m 54s

Provide feedback