Show HN: Typed Graph Theory: Extending graphs with type systems | Hacker News Reader