better handlig of built-ins -- at the top-level, not in subterms
better handlig of built-ins -- at the top-level, not in subterms

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