svoid tokReplace(LS tok, int i, S t) {
  put(tok, i, t);
}

svoid tokReplace(LS tok, int i, int j, S s) {
  clearAllTokens(tok, i+1, j);
  tok.set(i, s);
}