Add generalized 'implication' operator `==>`