Principal #Natürlicher Hetero-Typ