test

Add types to counterexamples #1439

Job	Run time
steep-check (head)	17s
test-memory (head)	35s
check-misc (head)	7s
test-ruby (head, master)	5m 58s
test-windows (head)	2m 20s
test-ruby (3.0, master)	5m 46s
ruby-versions / Generate Ruby versions	1s
test-cpp (head, g++)	12s
test (2.5)	29s
test-cpp (head, clang++)	22s
test (2.6)	29s
test (2.7)	24s
test (3.0)	17s
test (3.1)	15s
test (3.2)	17s
test (3.3)	16s
test (head)	10s
	18m 15s

Provide feedback