Add open_in
Add List.fold_*