operación de rectificado de tipos