Improve binary rules

Binary rules now support and has tests for all binary operators. Some of those tests are dynamically generated, but write them explicitly is tedious and needless.

After that we need to update presets, remove doc for `*stickedOperators` rules and update the docs, then i think we would be ready for `1.5`.