Add missing docstrings

Docstrings are actually mandatory.
Add examples for predicates
Improve headlines