little improvement for the handling of sort constraints: two non-identical explicit constriants are considered equal if they give the same set in different enumerations, e.g. {term,ord,ord} = {ord,term}
little improvement for the handling of sort constraints:
two non-identical explicit constriants are considered equal if they give
the same set in different enumerations, e.g. {term,ord,ord} = {ord,term}

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle