made FiniteSetsDot use Traversable instead of Set