red-black tree (elementary interface)