Simple implementation of a directed Graph.
Implement Fixpoint iteration.
Move POrd and CPO instances for Data.Word.
Implement Nullable algorithm.

Nullable finds all nullable nonterminals for a given context-free
grammar.
Implement shortest path for directed graphs.