[WIP] Implement ht_is_subset

This PR will implement `r_set_is_subset`