The algorithm I had in mind for regular expressions has not been implemented in "Dao.EnumSet', even after all the modifications I had made. I was thinking about the problem in the wrong way. So, I put the "Dao.EnumSet" module back to the way it was for the 'Dao.EnumSet.Set' type. Testing is in progress, but I think it is safe to assume all tests will pass. My next step will be to write the correct implementation of 'Dao.EnumSet.SetM', which is completely different than what I had written before.