improved annotated type of equality in Nitpick's monotonicity check, based on a discovery by Alex
improved annotated type of equality in Nitpick's monotonicity check, based on a discovery by Alex

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