added SumNamer for disjoint unions of name types