substitutionGroup
Tests abstract substitution group
Tests multiple substitution group heads
Tests for 1 substitution group head
structures 3.3.6.1.5 - there are circular substitution groups
structures 3.3.6.1.4 - element's type def is NOT validly substituable for its member's type def