This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The note states: "Note that prime(Type) · quantifier(Type) is always a super type of the original type Type I.e., prime(Type) · quantifier(Type) <: Type always holds." so describes the prime as both a supertype and a subtype! I think it should be subtype.
I agree that there is an inconsistency, but I disagree with your suggested resolution. That is, I believe you're suggesting that "is always a super type" be changed to "is always a subtype". Instead, I think prime(Type) · quantifier(Type) <: Type should be changed to Type <: prime(Type) · quantifier(Type)
That's what I was suggesting, but now after looking at it again I think you are right.
This issue has been entered as FS erratum E054, and the fix has been committed to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED. If you agree with this resolution, please CLOSE the issue.
The fix appears in the Proposed Edited Recommendation for the FS. After 9 months with no response from the original reporter, I am marking this issue CLOSED.