don't throw exception on unknown constants (e.g. skolems), and give more precise type to applied functions
don't throw exception on unknown constants (e.g. skolems), and give more precise type to applied functions

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