Something like float[] a = @b[i...j];
The offset-of-the-slice would follow the slice, and we would emit an add instruction anytime anyone access a slice.
Migrated to https://github.com/gpuweb/WHLSL/issues/175