strengthen more types in Data.Text

still need to prove the stronger types for `init` and `inits`