rename immutable red-black tree classes