`at-index' lens.
Add checkboxes to todo list.

This provides an example of using lenses with Reacl.