Towards a system allowing narrow and widen for array elements.