Added ExpressionTypeCheckingVisitor