Understanding Types, Shadows, and Names (Understanding Types, Shadows, & Names, D-F)