Describir: Un sistema de tipos recursivos parcialmente ordenado