split_lt and split_le for BatSet

this builds on top of the previous pull request I sent about split_opt