Tidying, docstrings.
Merge branch 'github-main' of github.com:plomino/Plomino into github-main