Implement for ((index, elem) in iterable). Closes #723