pseudo_linear: add conversion from SemilinearSet
unique_vector_map: delete wrong assertion
sparse_vec: generalize to any counter type