Handbook
Glossary
factorcode.org
Propagation for read-only tuple slots and array lengths
Propagation of immutable slots and array lengths.