Now a `NodeNodePoly` stores a typed `NodeNodeCategory`, we can use
to enforce invariants and making lookups more efficient.