String theory changes

Concatenation, Length, Prt_Btwn,<>, and Destring