What distinguishes indefiniteness for type from ifrād?

The Subject through Iḍāfah and Indefiniteness: Rhetorical Purposes

• Ifrād uses a definite noun and type a verb
• Type requires a proper name
• Type foregrounds a distinct kind or quality; ifrād an unspecified instance
• Both always have the same interpretation