better bison/yacc syntax