pub fn type_identifier_array( element_id: TypeIdentifier, dims: &[u32], eq: TypeEquivalence, ) -> TypeIdentifier