Update design.doc

Improved lexer specification