Few corrections in the doc (new symbol for ::==; fix error in the syntax description for grammar rules