[S02-types] Add tests for (Bag&Mix&Set)Hash.kv