introduce Data.Char, add easy ways to promote char to String