Overriding type check on PTAppClassObjTypeConstraint to ensure prog defn is taken into account.