Rename IsEquivRelation to EquivRelation.