include new concepts in typeclasses, makes containsGenericType work (… #28055

Job	Run time
ubuntu-20.04 (batch: allowed_failures)	4m 40s
ubuntu-20.04 (batch: 0_3)	23m 45s
ubuntu-20.04 (batch: 1_3)	29m 40s
ubuntu-20.04 (batch: 2_3)	23m 28s
macos-13 (batch: allowed_failures)	5m 50s
macos-13 (batch: 0_3)	37m 1s
macos-13 (batch: 1_3)	44m 4s
macos-13 (batch: 2_3)	34m 17s
	3h 22m 45s

Provide feedback