TODO.md

NodeId vs Node -- instead of Node vs NodeEntry -- the same for HalfEdge static import should handled by an extra pass -- instead of injecting a Loader to Mod Type as Value -- 用 HalfEdge 来编码 Type -- 删除 TypeCtor | Type | Symbol | TypeTerm