Improvement for path dependent types. This type substitution should check parent this types as well for inner classes. Because this type is like projection from parent this type.