Some unification updates
Add type-zip and adapt normalization to operate over arbitrary types zip-wise
Favour ellipsis output for ellipsis inputs in coercions
Penalize ellipses mismatches and broadcasting in coercions