examples: Matt Might's red-black trees.
clean up todos.
formatting wibbles.
updated paper pdf.