Export user-specified Rep universe foldMap default

Again, not sure on the names.

The Traversable instance for this seems rather more difficult, but I suppose this is a start?