Added all predicates on type sets
Changed predicates again; oneOf and isIn as axamples