doc: explain isl_*_is_subset