IConstraint
in
Instantiations of implementations correspond to a set of acceptable PHP values.
For example, an object of the class IntModel implementing IConstraint
represent all variables of the int type.