added a to_s method to return atoms label
changed SetProxy to keep tuples in a set and not array