Adds extracted principles that are underlying Carbon safety#6142

burakemir wants to merge 4 commits intocarbon-language:trunkcarbon-language/carbon-lang:trunkfrom

burakemir:principles_safetyburakemir/carbon-lang:principles_safetyCopy head branch name to clipboard