simplify MaSh term patterns + add missing global facts if there aren't too many
simplify MaSh term patterns + add missing global facts if there aren't too many

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