FEAT: Deprecate implication

[andreas-zeller]

Since

int(<foo>) > 0 -> int(<bar>) > 0

can also be expressed as

not int(<foo>) > 0 or int(<bar>) > 0

there should be no need for an extra implication operator; we should mark it as deprecated.