Refine documentation

There are still the following to-dos for the documentation:

• correcting for better comprehensiveness
• extending Getting Started
• adding more illustrative examples