fix printing of types in counterexamples