In the current code, we cannot '<==' one signal array/slice to another with same shape. We have to loop this manually.
If batch assignment of signal slice is implement, codes may look like targetSignals[16:32] <== srcSignals[0:16], which is more easy to read than loop. So I wonder is there any specific reason for not allowing this?