Modified Recompute.java to handle lone variables. Commit prior to
attempt at handling more elaborate BinaryExpressions. Added the ability
to do "assignment" on either side of a ComparisonFormula.