Inconsistency between zero(x) and zero(T::Type) for matrices

A, yes, this is unfortunate. It skipped my mind this is the case. I guess there is no good fix then. Functions sum and prod becoming type unstable would be even worse.