Checking for incompatible command type changes should match the logic of checking for incompatible command parameter changes. 

Specifically, if the command type is a struct, if a new non-optional field is added to the struct, it should fail. If an old unstable field in the struct is changed to a stable, non-optional field, it should also fail.