Walking substitution groups.
Walking up simple types.

TODO: Handle merging facets.