test

Add types to counterexamples #1442

Job	Run time
check-misc (head)	6s
steep-check (head)	14s
test-memory (head)	29s
test-ruby (head, master)	5m 58s
test-windows (head)	1m 54s
test-ruby (3.0, master)	6m 1s
ruby-versions / Generate Ruby versions	2s
test-cpp (head, g++)	16s
test (2.5)	28s
test-cpp (head, clang++)	11s
test (2.6)	26s
test (2.7)	27s
test (3.0)	12s
test (3.1)	14s
test (3.2)	13s
test (3.3)	15s
test (head)	15s
	17m 41s

Provide feedback