Refine documentation

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

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