The impulse for making static typing less partial and more complete causes type systems to become overly complicated and exotic as witnessed by such concepts as "phantom types" and "wobbly types".
"Modern type theory is hard. Let's go shopping."
"Modern type theory is hard. Let's go shopping."
I suspect that the objectionable paragraph was written by Drayton, that the note atop the introduction is not at all overstated, and that that paragraph would not have made it into a more polished version of the paper.