we have $instok $deltok $puttok etc.
can we please have analogues for strings and characters, $ins $del $put. eg:
$ins(abc,d,2) = adbc
$put(abc,d,2) = adc
$del(abc,2) = ac
sure there are methods involving $left/$right/$mid but those are uncomfortable and these just seem like such obviously useful additions
perhaps even a $rep and $rem if deemed applicable
at the very least could a delimiter of 0 in the token identifiers be used to achieve this behavior. currently 0 doesn't return anything useful
ie $puttok(abc,d,1,0) = d
but can't we let it = dbc
please please please consider this