Changed and removed some functions related to combinators, since they are Isabelle constants now.
Changed and removed some functions related to combinators, since they are Isabelle constants now.

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