tools/orient to orient rewriting systems with an LPO;
updated solving/Lpo to use (a modified version of) Aez to solve
SAT problems and recover solution