Document the purpose of NilSym0 and ConsSymN.

Fixes #53.