Implement ch07/type_synonyms examples (in progress)