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