Im Kern Foundation und Carbon, ein Aggregat-Datentyp sowie eine Reihe von Funktionen, die auf Instanzen dieses Typs zu operieren. Die einzelnen Felder eine initialisierte undurchsichtige Art von Kunden versteckt werden, aber der Typ Funktionen bieten Zugriff auf die meisten Werte dieser Felder. Ein undurchsichtiger Typ entspricht ungefähr einer Klasse in der objektorientierten Programmierung.