Cleanup
-rw-r--r-- 5695 FreeGroups.agda
-rw-r--r-- 5319 Generators.agda
-rw-r--r-- 2843 NormalForm.agda