2013-09-06-11.54.33: Pervasively renamed uniontype -> sumtype because it is more euphonic, standard and economical of syllables.