交互式 DAG

一个（尚未）高效的增量 DAG，适用于实时类型验证系统或其他目的。

维护拓扑排序基于以下论文中提出的工作：这篇论文

A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs
   DAVID J. PEARCE / PAUL H. J. KELLY
   Journal of Experimental Algorithmics (JEA)
   Volume 11, 2006, Article No. 1.7
   ACM New York, NY, USA