Final update of the typing class, which replaces the stringology files and...

Final update of the typing class, which replaces the stringology files and simplifies the code. The stringology tests were replaced by the vizitig.types tests, but are similar in terms of content. Slight modifications were made in other files to match the evolutions of the code, but nothing major. Slight improve of typing.

Closes #8 (closed)