improved notion of 'nicer' fact names (observe some name space properties);
improved notion of 'nicer' fact names (observe some name space properties);

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