We can have "major planets" and "dwarf planets" and call them all "planets" when there's no reason to distinguish between the two.

Wow! That's actually a great idea.