- rb_insert_new(+Tree, +Key, ?Value, -NewTree) is semidet
- Add a new element with key Key and Value to the tree Tree creating a
new red-black tree NewTree. Fails if Key is a key in Tree. Does
not validate that Key is sufficiently instantiated to ensure the
tree remains valid if a key is further instantiated.