Factored out Foldable/Traversable
Added Foldable to the common exports