doc: document isl_map_plain_is_universe