Major rework. Transition from the red-black tree representation to the 'level' representation used by the code. Sketch the one-to-one correspondence between the two forms