We have some problematic memory access use-cases where a memory access goes through a sequence of unspecified size. Since the layout API uses fixed sizes everywhere, it is not possible to express these dynamic memory accesses effectively.

We can improve the situation by improving the composability of these handles, such that they can be more freely combined with other, ad-hoc offset computations. This would allow users to express the static parts of a memory access with layout, and express the dynamic parts in a more ad-hoc fashion, and then compose those 2.

This for instance allows to better solve use cases where a user is working with a struct that has a variable length array member.