Apply Simon's changes from our last meeting

typechecker/src/FV.hs

typechecker/src/Initial.hs

typechecker/src/Parser.hs

typechecker/src/Tc/Gen/Expr.hs

typechecker/src/Tc/Gen/Inst.hs

typechecker/src/Tc/Gen/Inst.hs-boot

typechecker/src/Tc/Gen/Kind.hs

typechecker/src/Tc/Gen/Pat.hs

typechecker/src/Tc/Gen/Subst.hs

typechecker/src/Tc/Gen/Type.hs

typechecker/src/Tc/Gen/ValDecl.hs

typechecker/src/Tc/Monad.hs

typechecker/src/Tc/SkolSub.hs

typechecker/src/Tc/Subst.hs

typechecker/src/Tc/Subst.hs-boot

typechecker/src/Tc/Types.hs

typechecker/src/Tc/Types.hs-boot

typechecker/src/Term.hs

typechecker/src/Type.hs

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