Move Cubical.Algebra.SymmetricGroup to Cubical.Algebra.Group.Instances.Symmetric #1186
Description
Should Sym also be renamed to something like FinSymGroup in accordance with the naming conventions?