ide: improving NarrowingList
core: ArrayProjection helper for mapping bigger arrays to smaller ones
(used for narrowing list)