Understanding Types, Shadows, and Names