[Termtools] Outermost Category

[joerg at endrullis.de]

Hi,

up to now there is no outermost rewriting category.

I think it would be useful to have such a category
this year since there has been a lot of development:
- Cariboo has been improved
- Matthias Raffelsieper and Hans Zantema developed a transformation to TRS
- Rene Thiemann developed a transformation to innermost termination
- and I have developed a transformation to context sensitive TRS

We should include outermost to have an objective comparison of the tools.

Kind regareds,
Joerg