COQ Improvements Can Be Expressed As Productivity Improvement Gains