Add run-time shape type equality/subtyping benchmarks.
Add run-time shape type equality/subtyping benchmarks.

This is only for a rough estimate of the ballpark cost of shape type equality and subtyping.

marcopennekamp/lore,marcopennekamp/lore