Some changes to allow mutually recursive, overloaded functions with same name.
Some changes to allow mutually recursive, overloaded functions with same name.

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