[WIP] Implement ht_is_subset

This PR will implement `r_set_is_subset` 
Also: `a * b + c` or `a * (b + c)` ? Make it clear and use parentheses, please.