Typo.
Added ConjunctiveType, NegativeType.