Rule based validator on type constraint system
