added prefix_name, suffix_name; added eq_name; added opaque signature constraint to prevent accidental equality test;
added prefix_name, suffix_name;
added eq_name;
added opaque signature constraint to prevent accidental equality test;

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