more static simpsets, which also avoids spurious warnings due to duplicate rules provided here;
more static simpsets, which also avoids spurious warnings due to duplicate rules provided here;

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