Array.split implemented, as requested in #443
give more explicit name to the comparison function in BatArray.split
specific variant for when arrays are empty in BatArray.split