Univ comparison more expressive
when timeout dump the single problem
mkHCoFix
fixup univ
cofix
better pp
more comments