added Mult to TypeChecker