BYOC pattern matching questions

[comaniac]

1. We might need a “not” operator in the pattern language. @mbrookhart what do you think?
2. It’s impossible because we have no way to know who is going to use the output of a certain op.