Current design limitations

[aidevnn]

The existing design was primarily intended for the study of small finite groups and has now reached its limitations. Notably, the Group Module interface is incorrect, and there is an absence of an Algebra interface.

Further improvement, such as integrating a correct, minimalistic Computer Algebra System, appears unfeasible without a complete rewrite.