Básicamente, los cambios se centraron alrededor del uso de los tipos etiquetados, una construcción software que añade flexibilidad al tipado fuerte, justo en grado necesario para permitir representar en Ada un diagrama de objectos, por ejemplo, en UML.