add (-!-) for boolean negation and (->-) for implication (version 0.1.7.0)