Classes dealing with the representation of constraints and the management/instantitation of constraint validators.