Optimized type inference (avoids chains of the form 'a |-> 'b |-> 'c ...  in tye)
Optimized type inference (avoids chains of
the form 'a |-> 'b |-> 'c ...  in tye)

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