Implement case-insensitive split()
Commit some old work on string APIs