declared_const: check for type constraint only, i.e. admit abbreviations as well; added del_trrules(_i);
declared_const: check for type constraint only, i.e. admit abbreviations as well;
added del_trrules(_i);

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