Minor rephrasings and typos for grammar-v1, and move grammar description
into its folder (and update readme)