Week 9 Introduction to integrals and types