[PATCH 1/4] widl: Introduce a new write_record_type_definition helper.