Dict: reinstate O<:Union(Ordered,Unordered)