Remove obsolete TODO list 1, 2 are done. 3 is stuck due to the abstraction not being coarse enough. 4 shall never happen to NatBag.agda because of 3.
Remove obsolete TODO list
1, 2 are done.
3 is stuck due to the abstraction not being coarse enough.
4 shall never happen to NatBag.agda because of 3.

Old-commit-hash: 129543756924f6c6745268dd0bc8f9dcebfe4892

inc-lc/ilc-agda