Documenting binding syntax for pattern matching

Ref #7173.