Change typechecker-trace output slightly