Have a pure-python implementation that works as tuples of tuples of strings,
which is what we have today. There is a bit of extra overhead, as we now do type checking, etc.
We may want to make the type checking optional...