Guide: patterns.

Fixes #4417.
let bound x to type `int`, and match re-bound x later, so I don't know which one you refer to.