Completed first pass.

Substitution groups are ignored, all other groups are pushed onto the
stack with the union of children types of their parent element, and any
types are added as a wildcard with no schema.