Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries