Export user-specified Rep universe foldMap default

The Traversable instance of this seems like it's going to be rather more difficult, but I suppose this is a start.

Once again, not sure on the names.