Assert: Document propEqual and notPropEqual

Fixes gh-14
Closes gh-38