Se amplia el concepto de tipos incompletos para poder hacer tipos interdependientes definidos en paquetes distintos.