start on new_basic_type_definition_1_correct