Cambios desde la versión 0.05:

7.5.1: Aclaración de cómo las inicializaciones formales pueden actuar como parámetros opcionales de constructores genéricos.
7.5.2: Tratar fábricas como constructores, así que los parámetros de tipo están implícitamente en el ámbito.
8.3: Simplificar las reglas para las cláusulas del interface factory. Utilice la palabra default en lugar de factory.
9: Mencionar que typedefs pueden tener parámetros de tipo
10.29: Añadido la verificación en el modo test que los tipos de los argumentos coinciden con el tipo genérico.
13.2: Añadida definición de tipos con formato incorrecto y exigencia en su manejo en modo chequeo.