Add DisjunctionDataConstraint, NoopDataConstraint

Plus producer for DisjuntionDataConstraint.