Case is the immutable description of the thing to execute, no longer holding a reference to the mutable CaseExecution state.