Symbol: generate_type_free