append package:text-short

Concatenate two ShortTexts This is a type-specialised alias of <>.
>>> append "foo" "bar"
"foobar"
length (append t1 t2) == length t1 + length t2