Fix number agreement in subtyping chapter#128

Gankra merged 1 commit intorust-lang:masterrust-lang/nomicon:masterfrom

casey:numbercasey/nomicon:numberCopy head branch name to clipboard