Cleaner code, without long lines
Subsuming existing binaries with new var-elim binaries
addLearntBinaries() hasn't been tested for a LONG while

Probably broken, commenting it out
Use curly braces after "if" -- makes the code more readable
Printing % of polarities
Lower the threshold for glue/geom based restart chooser