Rewriting closures to not have any free variables
