remove redundant substitution
PT.getExtendedType()/getSatisfiesTypes()/getCaseTypes() now correctly
apply variances of the PT