GitLab

partial work on group/monoid, deleting function pointer usage as done up to this point after this commit, because it is not instantiatable