Update batLazyList.ml