Added candidate digraph libs

Also added a directory "thought" and a document explaining the order of
passes.