Add a simplifier on the untyped format.
Merge pull request #104 from pjonsson/optimize-untyped

Add a simplifier on the untyped format.