modelado de tipos