Type checked contiguous data

[vbarrielle]

Have some marker in the Tensor type to be able to assert at compile time whether an array is contiguous or not.

If done using a phantom data marker, this should be easily propagated through methods:

• constructors create contiguous arrays
• outer slicing creates contiguous views
• other slicing create non-contiguous views

New type aliases would be needed then.