Add NotExpr in (class TypeCheckVisitor) + completed in (class NotExpr)