Split set, map into Finite & Infinite versions by generic type parameter #7784

Job	Run time
fmt	1m 6s
test-and-release-macos (record-history)	5m 10s
smoke-test-and-release-macos-x86	14m 4s
test-and-release-macos (cvc5)	5m 13s
test-and-release-macos (singular)	6m 4s
test-and-release-macos	12m 35s
test-and-release-macos (no-std)	4m 15s
smoke-test-and-release-windows	9m 18s
smoke-test-and-release-linux	8m 0s
test-and-release-macos (no-alloc)	4m 8s
release	0s
	1h 9m 53s

Provide feedback