added rules for sort_constraint, include in norm_hhf_eqs; tuned;
added rules for sort_constraint, include in norm_hhf_eqs;
tuned;

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