Rename `sum` to `copack`

[Bronek]

Name sum is potentially confusing; let's switch to something that's more likely to indicate the type purpose. A name copack was suggested, and I think it is fitting since it is a co-product of types, orthogonal to pack.