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.
[semidet]rb_insert_new(+Tree,
+Key, ?Value, -NewTree)