add corresponds, lift, containsSlice, isDefinedAt, indices
add segmentLength