Added split[N] to Coproduct

Hmm, don't know where I've been looking, I created a apply-aux branch but can't find any work to do !
I'll amend this and my other PR's to use Aux.