added subst rules for ord(er), including monotonicity conditions; name all rules; tuned;
added subst rules for ord(er), including monotonicity conditions;
name all rules;
tuned;

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