Add PhfOrderedSet

It's a naiive implementation now but can be cleaned up later