Added new TODOs (and backend_cheat_sheet.tex)