Fix sum/product constraint errors.

Ensure that domains cannot grow in cardinality. They can only be
narrowed to lesser values (and not introduce new values, regardless of
size).