Bugfix.
We were previously allowing cached strings to be GCed without clearing the cache.
Bugfix: properly ensure that our equivalence expansion never returns duplicates.