Update syntax of pattern synonym type signature in documentation (fixes #9967)