Today was mostly me getting familiar with the testing in meta with destructuring. Tomorrow I'm going to start experimenting with transformations around predicate desugaring for generic pattern matching (including outside when expressions, per Raul's comments above).