[FEA]: Non-owning view types with properties to ensure type safe access to allocated memory

[miscco]

Memory access in heterogeneous systems is notoriously difficult and error prone.

With the property design we can use the type system to safeguard memory accesses across memory systems.

Consequently we want to extent the memory system to features that access memory, including the standard view types cuda::std::span and cuda::std::mdspan.

While for cuda::std::span it seems rather straight forward, we might need to thing about accessors in the context of cuda::std::mdspan

Non-owning types with properties to ensure type safe access to allocated memory

• [FEA]: cuda::span<T, Properties...> a safe view over - heterogeneous - memory  #2133
• [FEA]: cuda::mdspan<T, Extents, Properties...> a safe multidimensional view over -heterogeneous- memory #2134