Better type inference for cat of arrays of different eltypes

We now infer the element type but not the dimensionality