TypeChoice TypeChoice() throws ParseException {
    Token tok;
    NodeList items = new NodeList();
    int nesting = 0;
    tok = getNextToken();
    if ( tok.kind == LEFT_BRACE_T ) {
        nesting = 1;
    }
    while ( nesting > 0 ) {
        tok = getNextToken();
        if ( tok.kind == LEFT_BRACE_T ) {
            nesting++;
        }
        if ( tok.kind == RIGHT_BRACE_T ) {
            nesting--;
        }
    }
    return new TypeChoice(items);
  }