Bug fix in ElecClock unary operator + adding std::set<util::ElecClock> to dictionary --kazu