OptC & namedOptC. x `xor` True ==> not x
PatternSynonyms for optimizers
Opt2 & friends; OptimizeCircuit