Large change to most files (especially Recompute.java) to allow more
types of BinaryExpressions. Should support ClaferMOO input now, or be
very close to it. TODO: refactor Recompute.java