Add more tests, add more tracing to judgement functions

haskell.mng

rules.ott

typechecker/src/Initial.hs

typechecker/src/Subst.hs

typechecker/src/Tc/Gen/Expr.hs

typechecker/src/Tc/Gen/Kind.hs

typechecker/src/Tc/Gen/Subst.hs

typechecker/src/Tc/Solver/Equality.hs

typechecker/test/cases/parser/returnId-parser.hs

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

...checker/test/cases/should-fail/existentialEscape-check.hs

...ker/test/cases/should-fail/existentialEscape-check.output

...ker/test/cases/should-fail/existentialEscapeCase-check.hs

...test/cases/should-fail/existentialEscapeCase-check.output

typechecker/test/cases/should-typecheck/fiveIds-infer.hs

typechecker/test/cases/should-typecheck/fiveIds-infer.output

...hecker/test/cases/should-typecheck/fiveIdsImpred-check.hs

...er/test/cases/should-typecheck/fiveIdsImpred-check.output

...ker/test/cases/should-typecheck/impredGuardedOne-infer.hs

...test/cases/should-typecheck/impredGuardedOne-infer.output