Update to documentation, practically finished the portion about Lexing