Implement FingerTree.split.
Tidy up.