Typechecker starting to get finished, testexpressions are typecheckable!
Last hand on typechecker and ordering