Added some comments about why explicit guards are needed for multi-element MIMO enq() or deq()