BatList.takedrop

rm trailing whitespaces in the .mli also