finish AlgeGraph, the instance of InductiveGraph. Deleted inductive fabula design.