Update TypeChecker3.hs