This can be made much more efficient by directly constructing the AffExpr. Apart from avoiding the temporaries created by operator overloading, it also makes out "type-stable" - currently changes from an Int to AffExpr. I can change this.