order in types of evar instantiation, use of solve_simple_eqn to see if it can solve the problem (debugging purposes), and optionally use Munify as unification algorithm with Set Use Munify