Type extension and substitution group checking should be able to be disabled

It should be possible to (separately) disable checking of type extensions and substitution groups when generating paths, since users may know whether they are going to use these features or not.