xl_stream: efoldl, zip_with_index