Update TheorySets to use CDHashSet<>::key_begin() / key_end().
Merge pull request #64 from mdeters/theorysets-hashset-iteration

Update TheorySets to use CDHashSet<>::key_begin() / key_end().