I'm pretty positive that we have. "Time Users" is so broad that it includes "Time Stop Users" by default, and the category is rendered useless because people who can only stop time have to share both categories with people who can manipulate and also time stop time.