Update Objective-C spec to reflect latest changes