Moved a section around.
Explain lenses.
Null edges and more explanation.

Null edges should make implementing Kleene stars easier.