WyRL: bug fix for ordering in applyUndo() function.
The order in which the oneStepUndo information in applyUndo() was being
applied was incorrect. This is now corrected, but no further test cases
are passing yet.  #382
WyCS: Changed rule Equation_2 from inference to reduction.
This is necessary because this rule is not an inference, and having it
as such can cause looping of inference rule application.  Doing this has
made at least one additional test case pass.