Creation of the type system documentation. - William Ibekwe