JShell API: Snippet.Status CORRALLED/RECOVERABLE

[Robert Field]

See the new naming and spec for Status here:
http://cr.openjdk.java.net/~rfield/doc/jdk/jshell/Snippet.Status.html#enum.constant.detail

ALIVE_CORRALLED has become -> CORRALLED
ALIVE_FAILED has become -> RECOVERABLE

Brian suggests that these two are very close, they both represent the 
status of declaration snippets that have errors which are deemed 
recoverable with changes to the JShell state (e.g. symbols defined).  
They differ only in that CORRALLED is defined, and thus the declaration 
can be referenced by other snippets.  To make clear their similarity, 
the suggestion is that they become:

RECOVERABLE_DEFINED
RECOVERABLE_NOT_DEFINED

Yes?
No?
Thoughts?

Thanks,
Robert