Add inverse reducer

`Gen.const(Inverse(StructExpression(name, NumFlips)))` ?