Simplification of expressions. The result of simplifying an expression e, is a new expression e', which satisfies the property:

if e is well-defined then e and e' will evaluate to the same type.