Context free grammars.

A symbol is presented to the user as an int (internally, it is an object). This has several advantegous over Object symbols: 1. ordering, enumeration; 2. effciency.