Minor simplification in UNARY?
Get rid of the ~= operator
Minor rename