At, FilterIndex and Indexed Optics

[neutropolis]

At is returning a plain lens algebra, while FilterIndex is returning indexed traversals. This is due to ad-hoc requirements by our testing applications. We should be more homogeneous here, by either:

• Creating plain and indexed versions for each op
• Creating only an indexed version for each op (and ignoring the index if not necessary)