Naná hogy 0 (azaz $0) sikerem volt... viszont a következő működik:

dekl: type { $$.type = lasttype /* save old value */; lasttype = $1.type}
  vars { lasttype = $2.value; /* restore old value */}

közben a vars-t teszteléshez kibővítettem:

vars: var more_vars {CreateVar($1.name,lasttype);}
  '(' dekl ')' more_vars;

more_vars: | ',' vars;

tesztadat:

NUMBER I,(STRING S,T,(NUMBER K,L)),J;

Mondjuk azt nem állítom, hogy ennek a beágyazott deklarációnak így lenne értelme,
de tesztelésre jó... egyébként C-ben van valami hasonló: int i,j,f(int (*g)(int k)))