generalized types of monadic operators to class cpo; added match function for UU
generalized types of monadic operators to class cpo; added match function for UU

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