[WIP] Implement ht_is_subset

This PR will implement `r_set_is_subset` 
Style: Missing space around `+`.