todo.txt

- the "recursivePush" test doesn't work as expected (comparing outputs to the
  official test suite)
- there's no error added to the grammar's 'errors' attribute for missing
  symbols.