In

5.1.1:17 If the identifier pattern has only keyword ref, then the type & bound_pattern_type, where bound_pattern_type is the type of the bound pattern.

the text is missing an "is" and should say:

[...] then the type is & bound_pattern_type, where [...]