[AnimalMuppet]

Lose the straightjacket, lose the guarantees. That makes sense. I had been thinking of it as just a straightjacket.

And, as you point out, there are some OO patterns that we can also provide useful guarantees and constraints.