0.2

Changed

• Recommendations for tests: func tests test integrity, unit tests test storage access.
• Extension of branch classes by leaf classes is still recommended, but not explicitly required.
• Formalized a lot of clauses.
• Minor corrections.