Rename List.is_contained_in into List.subset