Impement ch12/wrapping_an_existing_type_into_a_new_type examples (in progress)