test

Add types to counterexamples #1440

Job	Run time
steep-check (head)	12s
check-misc (head)	12s
test-memory (head)	29s
test-windows (head)	1m 26s
test-ruby (head, master)	6m 0s
test-ruby (3.0, master)	6m 23s
ruby-versions / Generate Ruby versions	2s
test-cpp (head, g++)	12s
test-cpp (head, clang++)	17s
test (2.5)	25s
test (2.6)	26s
test (2.7)	25s
test (3.0)	18s
test (3.1)	14s
test (3.2)	15s
test (3.3)	15s
test (head)	15s
	17m 46s

Provide feedback