Add more tests and fix some broken tests

haskell.mng

typechecker/src/Tc/Gen/Expr.hs

typechecker/src/Tc/Gen/Kind.hs

typechecker/src/Tc/Gen/ValDecl.hs

typechecker/src/Type.hs

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

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

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

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

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

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

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

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

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

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

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

...hecker/test/cases/should-typecheck/notClosed-infer.output

typechecker/test/cases/should-typecheck/notClosed.hs

typechecker/test/cases/should-typecheck/notClosed.output