Comments on union and record combinators.

Put this in the README to give some visibility - feel free to ignore or move to a less prominent place. Thanks. --A