Simplify the constraint API by dropping the case class-specific constraint type.
Rename ConstraintTest to DomainTest as to match the filename of the Domain ADT.