be somewhat more liberal in Nitpick about which types may occur in formulas
be somewhat more liberal in Nitpick about which types may occur in formulas

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