include new concepts in typeclasses, makes containsGenericType work #28047

Job	Run time
ubuntu-20.04 (batch: allowed_failures)	4m 34s
ubuntu-20.04 (batch: 0_3)	25m 13s
ubuntu-20.04 (batch: 1_3)	29m 30s
ubuntu-20.04 (batch: 2_3)	23m 40s
macos-13 (batch: allowed_failures)	7m 36s
macos-13 (batch: 0_3)	39m 54s
macos-13 (batch: 1_3)	39m 21s
macos-13 (batch: 2_3)	40m 42s
	3h 30m 30s

Provide feedback