પ્રકાર, ઓવરફ્લો, અને શુદ્ધતા