Add a simplifier on the untyped format.