Pattern matching: Add more examples and TODOS.