Update docs for equality type

Fixes #1393
Merge pull request #1405 from david-christiansen/master

Update docs for equality type