Update docs for equality type

Fixes #1393