it is now enforced that indices of a metric tensor are of the same dimension