Rewrite of multiple insertion. Not yet linked.
Yale insertion refactored, including slice-setting. Now just need to
enable to spec and fix the bugs.