reorder and rename GroupoidLaws