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