avoid implicit synthesis of `CaseTransition`

[etan-status]

Transitioning the case of a case object without full reinitialization leads to undefined behaviour. Don't do such transitions implicitly, and require explicit readValue override for such types in those cases.