Add inclusion validation to contract type