more general init of Symbol.Interpretation, independent of IsabelleSystem instance;
more general init of Symbol.Interpretation, independent of IsabelleSystem instance;

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