Added splice

Also, for map and list batch mutations, don’t enforce the no mutable
sameness rule. That mainly makes sense for individually-targeted
mutations.