static S ctxUnbracket(S exp) {
  if (exp.startsWith("(") && exp.endsWith(")")) {
    S e = dropFirstAndLast(exp);
    if (hasRoundBracketHygiene(e)) ret e;
  }
  ret exp;
}