Added splice method, which allows insertion of a properly-dimensioned list-of-lists into a zipper.
Renamed splice to insert to avoid name confusion with slice.