This lets .add() be written without a null comparison, but uses an extra Pair.
Used by InputPort.readTail and U.append.