Fix in Typecheck.checkType