Add lens derivation for IndexedLenses