Estos tipos, junto con todos los tipos que corresponden a alguna forma de la , son conocidos como "tipos fundamentales": los tipos a partir de la cual todos los otros tipos se derivan.