Not sure about that, because evaluation of pattern matches is quite awkward, e.g. requiring us to carry multiple envs around, so making this logic reusable, especially for something that's itself unclear, would be a major effort. Let's revisit this when we migrate to Palladium trees.