Better printing for TcTyVars in dump style
Another traceTc debug trace
More flatten-skolem progress
Print traceTc stuff in dump-style
Error message wibbles
More flatten-skolem progress