[WIP] Implement ht_is_subset

This PR will implement `r_set_is_subset` 
What about the other way round?