Add TySplice. Fixes #113 and #139.