removed obsolete Selector token; tuned signature; string syntax: proper escape format;
removed obsolete Selector token;
tuned signature;
string syntax: proper escape format;

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