* support slicing of Slice/Cat/Replicate through lowering * support non-unit step size slices through unpacking and Cat()