Exchanges the stored value to Desired if a stored value corresponding to Key exists, has the same type and its value is equal to Expected, otherwise, the operation fails. Whether or not the key value was exchanged, as a future. The result code can be: