From-text: type class to convert from Text

The key thing is that Text is more restricted than String and does not contain surrogate code points. So instance IsText OsPath is total, while instance IsString OsPath is not.