Small style cleanup in typechecker
Factor out the final result of Typechecker