Added TypePredicates to check something on all elements of a set; Added UnionOfRaws op; otherminor fixes;