Add solutions to 2nd example on pattern matching

Variables bind once (per match)