Eliminate warning.
More work on passing memory-annotated programs through simplifier.
Fix removeRedundantMergeVariables rule.

Still a bit simplistic.
Fix the FreeIn instance for types.
Clean up some mess regarding finding free variables.
Improvements to simplification with memory annotations.
Add Pretty Result instance
Fix bug in explicit memory loop context computation.

This is still a pretty bad and fragile approach all around.
Minor fixes to simplification engine.