New domain: RepresentativeString

This is a little like the min/plus shortest distance semiring, except elements are strings instead of numbers, min is length-lexicographic, and plus is concat.