slacker version of "fastype_of", in case a function has dummy type
slacker version of "fastype_of", in case a function has dummy type

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