prefer sort-stripping const_typ over Sign.the_const_type whenever appropriate
prefer sort-stripping const_typ over Sign.the_const_type whenever appropriate

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