Added comments, fixed 'redundant NON' exceptions

The dictionary created by parsing the sequence is now documented and
seems to work.