Updated todo list, and fixed the TBST extraction operator.