many more rewriting systems (most of which can be oriented by LPO)