Renumber parts of verbose_shapes.ml