[FEA]: `cuda::span<T, Properties...>` a safe view over - heterogeneous - memory

We want to extent the property based design for safe heterogeneous memory accesses to view types.

This will most likely require us to implement an iterator type that does the right and then guard all direct memory accesses.