More tests are passing, add a pretty printer for TcError

typechecker/src/Tc/Constraint.hs

typechecker/src/Tc/Monad.hs

typechecker/src/Tc/Solver/Equality.hs

typechecker/src/Tc/Solver/Monad.hs

typechecker/src/Tc/Types.hs

typechecker/src/Type.hs

typechecker/test/cases/parser/unwrapMaybeBool-parser.output

typechecker/test/cases/should-fail/notTo3-infer.output

typechecker/test/cases/should-fail/repeatInvisTyAbs.output

typechecker/test/cases/should-fail/repeatVarPat-infer.hs

typechecker/test/cases/should-fail/repeatVarPat-infer.output

typechecker/test/cases/should-fail/repeatVarPatInfer.output

...r/test/cases/should-typecheck/lambdaShadowingVar-infer.hs

...st/cases/should-typecheck/lambdaShadowingVar-infer.output

...ker/test/cases/should-typecheck/lambdaShadowingVar.output