fixed soundness bug in monotonicity-based type encodings -- the helper facts must be considered too
fixed soundness bug in monotonicity-based type encodings -- the helper facts must be considered too

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