Propagation for read-only tuple slots and array lengths


Propagation of immutable slots and array lengths.