Small modifications to documentation
Corrected an error for predicate __eq__