Fix DynRep superclass for (Set a)