I look forward for this stuff to get implemented, it seems really nice! Even in my limited experience with logic I was really annoyed each time I had a tag whose only utility was to be inverted, so I'd end up with something like "TILTED RIGHT" (useless) and "NOT TILTED RIGHT" (which I actually needed). And the other suggestions look awesome too!