now works for schematic terms as well, thanks to Alex for the `how-to'
now works for schematic terms as well, thanks to Alex for the `how-to'

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