Add a canonical Char→String function and Cast instance