Wrote a lexer test, and fixed some documentations.