properly handle SPASS constructors w.r.t. partially applied functions
properly handle SPASS constructors w.r.t. partially applied functions

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