more pattern matching docs