Types for the New Century