Extract strings.
Remove unused to_base_type in frontend.