A limited form of negation for term constraints based on "phantom enumerations": nullary phantom types not mixed as arguments with other types.