Adds support for types with 3 or more successors.