[m-rev.] for review: delete obsolete predicates in term.m

[Julien Fischer]

On Fri, 30 Oct 2020, Zoltan Somogyi wrote:

> For review of the idea, since the diff is trivial. All the predicates
> being deleted had obsolete pragmas on them since Jan 2020.

That's fine.

Julien.