Add developers doc; accordingly rename abstract supertypes#72

Merged

Datseris merged 12 commits intomainfrom devdocs

Feb 19, 2024

+134-77

Commits on Feb 15, 2024

Commits on Feb 19, 2024

Merge branch 'main' into devdocs
Datseris
committed