To support this, I had to add comparison and hashing functions for vectors or sequences more generally.