Update batList.ml

new version of unfold