A Typhoon extension for enforcing data constraints.