shape layer: skip unnecessary cast validation; cosmetic touchups

Terminology change: "Shape" --> "ShapeType"

When casting to a ShapeType generalization, do not call validators.