guard against unsound cases that arise when people peek into 'int' and similar types that are handled specially by Nitpick
guard against unsound cases that arise when people peek into 'int' and similar types that are handled specially by Nitpick

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