honor filtering out of arguments for built-in constants (e.g. representation of numerals)
honor filtering out of arguments for built-in constants (e.g. representation of numerals)

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