Remove Save from the untyped representation.
Merge pull request #129 from pjonsson/no-save

Remove Save from the untyped representation.
Run the simplifier twice and simplify GetIx with Elements as backing write.
Merge pull request #130 from pjonsson/simplify-getix

Run the simplifier twice and simplify GetIx with Elements as backing write
HLint fixes.