listops iteration, strictness fixes and more folds