Infrastructure + partial initial construction logic.

Declaration of node and edge types. Incomplete implementation of
Ukkonen's algorithm. Minimal testing framework.