var line = newStringOfCap(120).TaintedString
Nothing came up about what to use instead of this on the forum when I searched - is there a suggested replacement?
It can be replaced by a library level "distinct string", and probably should.
Yes, however: distinct string types work much better for "output" types like XML, HTML, SQL... The input coming from readLine etc is tainted, yet you can use any operation to "validate" it. In other words the default string type is the tainted one.