Propagation for read-only tuple slots and array lengths