we could model this as a pattern.binding operation with @_ or we could have an explicit operation pattern.binding.any (sub type of the pattern.binding operation maybe)