Specify the query language in PEG

The existing implementation using treesitter is working well, but the grammar is not specified in a compact and readable way.

write the existing spec in PEG format. Parser can be decided later.

---

Migrated from T4627 (view on Phabricator)