Ein unveränderlicher Typ, der einen Wert oder eine Referenz enthalten kann. Jede Instanz dieses Typs enthält entweder einen Wert oder eine Referenz ungleich Null oder nichts (in diesem Fall sagen wir, dass die Referenz "nicht vorhanden" ist; es wird niemals gesagt, dass sie "null enthält").