TODO.md

• Explain just how important passing along correct Delta was in dropVar function in: https://github.com/sseefried/well-typed-agda-interpreter/blob/master/EtaReductionDeBruijn.lagda.md