improved read_xrules: patterns no longer read twice; tuned read_typ;
improved read_xrules: patterns no longer read twice;
tuned read_typ;

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