definicion de tipos