static S unbracket(S s) {
  ret isBracketedID(s) ? s.substring(1, l(s)-1) : s;
}