Moving some things around

- Approx and iterations now in Util.
- Moving some auxiliary lemmas to EnvI