DistrEx.Coordinator.Interface.Spec should be renamed to InstructionSpec.
But since DistrEx.Coordinator.Interface.InstructionSpec already exists, that needs to be refactored first, to SyncInstructionSpec
Thus, the tree of inheritance involving (the current) Spec, InstructionSpec and AsyncInstructionSpec does not change. Two of these three classes just get a new name.
DistrEx.Coordinator.Interface.Specshould be renamed toInstructionSpec.But since
DistrEx.Coordinator.Interface.InstructionSpecalready exists, that needs to be refactored first, toSyncInstructionSpecThus, the tree of inheritance involving (the current)
Spec,InstructionSpecandAsyncInstructionSpecdoes not change. Two of these three classes just get a new name.