Now includes only types used to instantiate overloaded constants in arity clauses
Now includes only types used to instantiate overloaded constants in arity clauses

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