ADDED: basic support for sets