Remove unary "not" function (now available through prefix "!" operator), simplify constants.