The full syntax for this is written as `(G: Graph)::Node::magic_number`, right?

I'm still mildly concerned about this from a grammar perspective, especially if we ever use `:` for type ascription on expressions (because then in `(x: y...`, `x` can legitimately be either a type or an expression).