Hmm. Why was it done this way? It seems to me like it makes it more confusing and less performance-efficient to use a giant tree of labels instead of a single builtin map/set object. Am I missing some element of the design?