Introduction to type checking section