In keeping with the other failure messages, we never refer to JsString etc. But instead just "not an int", so for this, it could be "not one of Cat, Dog, Fish".