Add macro IS_NIL

    Testing whether a node is NIL with < 0 rather than == -1 allows
    the compiler to know that a node is >= in subsequent code, thus
    opening the door to more aggressive optimizations.