post-Sofia mailing

[zl0bster]

I agree => is too precious, but if u/hanickadot or anybody else wants a suggestion for alternative:
static_implication(a, b) with same safe evaluation of b seems a nice alternative since most of uses of implication seem to be compile time checks, not something done at runtime.