update_name: more uniform treatment of type constraints (NB: type equality is hard to establish in parse trees);
update_name: more uniform treatment of type constraints (NB: type equality is hard to establish in parse trees);

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