Rename `sum` to `copack`

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`.