Add back "0 + 1*x" prints as "x" functionality

yeh I think we need a better way to make this work. Doing symbolic simplification before TEX seems like the wrong way to go.