Module `Make.Simplifier`

Node simplifier

val simplify : node -> node

Apply some datatype and arithmetic simplifications to node