implement/refactor x&~x, x|~x, x^~x and x+~x localopts