Classifying Shapes

Shape families sit inside one another, and "is a" runs one way only.