[text] improve element indexing in BatList's mli documentation