Add type system docs 2025h2 goal#314

nikomatsakis merged 5 commits intorust-lang:mainrust-lang/rust-project-goals:mainfrom

BoxyUwU:typesystem-docsBoxyUwU/rust-project-goals:typesystem-docsCopy head branch name to clipboard