begin syntax notation section and fix/delete some previous stuff