let is_a_set (var : string) : bool = let type_of_var = get_type var in ("set")=type_of_var || (let d = decompose type_of_var in (d<>[]&&(car d)="set"))