Fixing #3606 (doc not up to date wrt "Set Boolean Equality Schemes" and
"Set Decidable Equality Schemes").