rename also set-like species

[mantepse]

📝 Checklist

• The title is concise and informative.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation and checked the documentation preview.

⌛ Dependencies

[mantepse]

We provide traditional names for atomic species that are products or substitutions of the species of sets E_n, because they appear very often - there are now only two species in degree 5 that do not have their traditional name: $P_5/\mathbb Z_2$ and $(X^2 C_3)/\mathbb Z_2$.

The next two steps are:

• provide set-like species also in the multivariate case
• provide names for all substitutions of named species, eg. $E_2(C_3)$, etc.

[github-actions]

Documentation preview for this PR (built with commit 886bad4; changes) is ready! 🎉
This preview will update shortly after each push to this PR.