add TODO file

with the next steps following our Monday day meeting
bring_to_front_overload on "="
WIP work on trying to reprove some of the sanity tests