Fix digraph fundamentally
spec: add specs for Digraphs module