Fix a few inverse/not conflict

* conflict in inversion vs not operator
+ proper `not` handling