Several small corrections or updates. Includes a new document for detailing the code: all sections written except the implementation details. In here, 2 and a half subsections are written. 4 and a half subsections remain.