Lexical: discard WhiteSpace