add automatic resizing; make the numVars of an expr to be = max(exprL.numVars, exprR.numVars)