Implement ch07/derived_instances examples
Implement ch07/type_synonyms examples (in progress)