progress-token

variant progress-token {
  string(string),
  integer(s64),
}