Moved the iterproxy to an optionally usable preiter in wrw.util.