ParentFull threadtermain·The terms are gas giant and terrestrial (or rocky) planet. They're already there.View on HN