The referenced "Type Variables in Patterns" paper does not include `P-SYN`
In the References
section of the document, the normal version of the "Type Variables in Patterns" paper is mentioned. When in fact, the P-SYN
typing rule is present, only in the extended one.