[Termtools] Probabilistic Rewriting at termCOMP

Dear all, after the nice interactive 0th probabilistic termination competition last year, we plan to introduce new (non-interactive) categories for probabilistic rewriting. A proposal for the new categories is available in this GitHub discussion [1]. Please share your opinions there. Best Florian [1] https://github.com/orgs/TermCOMP/discussions/82