Keep recursing after the first simplification to simplify subexpressions.
Simplify save (materialize ..).
Merge pull request #125 from pjonsson/simplify-more

Simplify untyped expressions a bit more.