Week 4: Types and Pattern Matching, and Week 5: Lists