PPrinter.Simplifier
Node simplifier
val simplify : node -> node
Apply some datatype and arithmetic simplifications to node
node