eliminated slightly odd typedecl_wrt in favour of explicit predeclare_constraints;
eliminated slightly odd typedecl_wrt in favour of explicit predeclare_constraints;

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