Add and use Type::subtypes. NFC.