Simplified some things.

Distinguish root node with special key instead of separate node type.
Eliminated unnecessary stuff from grammar.
Put something in the readme.