Fix the parts of Simplify relating to closures

[mshinwell]

Sketch out (or if everything is compiling, make compile) the necessary code in the simplifier required as a consequence of the removal of closure freshening.