changes in TypeCheckVisitor