No need to override typeCheck on PTRowsetTypeConstraint, included comment explaining why.