This patch: - adds linting for class properties - adds documentation for the missing class properties References #14.
This patch introduces a general Documentation.diff method, which produces a diff of two documentations. With this, the patch teaches documentation linter to lint method arguments. References #14.