Hashset based on PHashtbl