[Termtools] SRS-certified category?

[Aart Middeldorp]

Dear all,

SRSs are a special case of TRSs, so it make perfect sense to have a
single database. If there is interest, one can run competitions on
subsets of this large database: for SRSs this interest seems given,
but one could imagine additional subsets:

- all TRSs that are not SRSs
- all left-linear TRSs
- ...

Another advantage of a single database might be that people who until
now implemented techniques exclusively for SRSs become interested in
proper terms.

Cheers,

Aart