add a bunch of length-related refinements to Data.Text, all currently broken