Update design.doc

Added some parser/lexer explanation. Flushed some things out.