Yeah, I think if the IAU had taken that simple approach, there would have been a lot less distress caused to the Pluto enthusiasts! We could still count 8 major planets in the solar system, but Pluto would still be considered a planet. I predict that's how the terms will end up being applied in the research domain.