Factored Symmetries for Merge-and-Shrink Abstractions