Introduction to Type