Example can run using pegjs parser
The example passes type checking