Stronger checking of internal cells
Added $slice and $concat cell types