Implement ch07/type_synonyms examples