Problems for Chapter 8 - Type Synonyms