Introduce special transformations for operators `=>` and `<=>` if (light weight) shortcut is possible

The operators `=>` and `<=>` will always be transformed with the current rules introducing, e.g., helper constraints and additional variables.

In some cases (see my implementation of the IHTC 2024), there is a "faster" way of specifying these operators. These cases should automatically be detected; hence, the transformation should always pick the fastest possible (M)ILP formulation.