Make tc-results: and Results: not use ... over patterns.

This avoids a case where match is silently wrong.
Make cset-meet take more than two arguments.
Add cgen/inv and use it.
Remove duplicate case in infer.