avoid generating selectors with function types -- this produce arity inconsistencies
avoid generating selectors with function types -- this produce arity inconsistencies

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