Added PEG syntax specification