Fixed exploding type sums

Not a subtype(a, b) != subtype(b, a)