bringing CompilePush.hs into closer sync with NoCompilePush. But there is a problem with the index function. How to make it be not monadic. The Problem is Iterate...