tuned hidden_polymorphism; added close_schematic_term;
tuned hidden_polymorphism;
added close_schematic_term;

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