Reverted Iterator method renames, some doc fixups in prelude