[text] improve element indexing in BatList's mli documentation
Add BatOption.some