Shallow Types for Insightful Programs: Grace is Optional, Performance is Not