Clean up classes. Remove finite group, add integers modulo n and group verifier.