Package width defines an interface, `StringWidther`, and a couple of trivial implementations of that interface, to allow you to build things where the length of a string and its width on screen are independent of one another. This is useful for embedding escape sequences, for example, as well as for accounting for glyphs of varying on-screen width.