Simplified indexed_proxy, added indexed_vector_iterator