util/smart_set: remove memory leak in assignFlat()
util/smart_set.hh: add a destructor that clears the structure
util/smart_set.hh: add 'const' to iterators where appropriate
smart_set.hh: rename data members of Element
util/smart_set.hh: use more standard kind of asgn. oper