[Synth] Add an operation for declarative Cut rewrite pattern

Conceptually similar to PDL, but it operates on truth table.
For PDL we can use native constraint to match specific truth table but
still not suitable for dynamic programming based cut rewriting.
The operations serves as a database for cut rewriting pattern.
```
synth.cut_rewrite_pattern (%0:i1, %1:i1, %2:i1) -> (i1) attributes {cost = ...} {
%0 = synth.aig.and_inv %n0, not %1, %2: i1
synth.yield %0: i1
}

hw.module @XOR3() {...}
synth.cut_rewrite_pattern (%0:i1, %1:i1, %2:i1) -> (i1) attributes {cost = ...} {
%0 = hw.instance @XOR3 (...)
synth.yield %0: i1
}
```

TechMapper (and also database based Cut rewriting, c.f. abc `rewrite` command) could use this operations to declare patterns.

Start by surveying the existing Synth dialect operations and the TechMapper entry point; the issue names PDL and ABC's rewrite command as related approaches. Done means a declarative synth.cut_rewrite_pattern operation can represent the shown AIG and hw.module patterns and can serve TechMapper or database-based cut rewriting.

Written by the indexing model from the issue text.