Types and Varieties