Class TypeSubstitutionVisitor