Fixed old bug: selection of constant to be split should depend not just on the name but also on the type.
Fixed old bug: selection of constant to be split should depend not just on
the name but also on the type.

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