Remove some dead typedefs from progress-value.h