Renumber parts of verbose_shapes.ml
Fix row_polymorphism.topscript

Add a definition for the `shape` type.
Merge pull request #6 from lpw25/fix-row-polymorphism

Fix row_polymorphism.topscript
Merge pull request #5 from lpw25/renumber-verbose-shapes

Renumber parts of verbose_shapes.ml