Add adds the key q to trie, returning a new trie.

Intersect computes the intersection of the keys in p and q.

Trie is a trie for equal-length bit vectors, which stores values only in the leaves.