Use PEGJS for parsing