- added more documentation while removing obsolete ones
 - use assert() for private functions because the invariants should now be
   guaranteed
 - remove the dedicated exceptions as a result and use generic ones
 - added more tests for invalid cases