some progress on Data.Text.Encoding