Added new types such as disjunction, is null and not