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

this was not used anywhere in prettyprint