Coproduct unify (https://github.com/milessabin/shapeless/issues/242)

Here it is.

I'm not fully satisfied by the test I added though, but I'll discuss this later.