Fixup whitespace
Use 'v' instead of 'var' in sat module

The expr.var method is used all over the place, so I thought the usage
in sat module was confusing.
Get rid of some redundant methods
Use obj.args in all RHS expressions
Miscellaneous cleanup