passing token values from a tree to do type checking

I am writing a compiler but am having trouble "seeing" the values of tokens. I am tring to create a type checking file for the tree that I made from the parser but I can't get the check file to "see" the token types, Real, Integer, Boolean or their values. I have included some of the programs where I think the problems might be, if anyone can see what I'm doing wrong please tell me.
include files are ST.h and tree.h
ST.h file:
        : blocktypedef struct {
        int index;
        int type;
        int scope;
} STentry;

tree.h file:
typedef struct Node {
        int     kind, value;
        float   dval;
        struct  Node *first, *second, *third, *next;
} node;
typedef node    *tree;

tree buildTree (int kind, tree first, tree second, tree third);
tree buildIntTree (int kind, int val);
tree buildFloatTree (int kind, double dval);
void printTree (tree);

void check (tree);

from parse progam:

program
                {;root = $1;}
        ;
block
        :Begin optdecls stmts End
                {$$ = buildTree(Begin, $2, $3, buildTree(End, NULL, NULL, NULL));}
        ;
optdecls
        : /*nothing*/
                {$$ = NULL;}
        | decl Semicol optdecls
        {$$ = buildTree(Semicol,$1, $3, NULL);}
/*{$$ = buildTree(Semicol,$1, NULL, NULL);$$->next = $3;} */
        ;
decl
        :vardecl
                {$$ = $1;}
        |arraydecl
                {$$ = $1;}
        ;
vardecl
        :type idlist
                {$$->next = $2; $$ = $1;}
        ;
type
        :Real
                {$$ = buildTree(Real, NULL, NULL, NULL);}
                /*{$$ = buildFloatTree(Real, $<dval>1);}*/
        |Integer
                {$$ = buildTree(Integer, NULL, NULL, NULL);}
        |Boolean
                {$$ = buildTree(Boolean, NULL, NULL, NULL);}
        ;
idlist
        :Ident
                {$$ = buildIntTree(Ident, $1);}
        |Ident Coma idlist
        {$$ =buildTree(Coma, buildIntTree(Ident, $1), $3, NULL);}
        ;
etc. more productions, more trees

/*Here is where I am really having troubles, I can't "find " the tokens such as Assign, etc to allow me to do type checking or any kind of checking*/


from check.c file:

#include <stdio.h>
#include "tree.h"
#include "y.tab.h"
#include "ST.h"

extern int top;
STentry ST[100] = {0, NoType};

void prST (void)
{
        int i;
        printf ("SYMBOL TABLE\n");
        for (i = 0; i <= top; i++) {
                int     t = ST[i].type;
                printf ("%3d %-10s\t%s\n", i, id_name (i),
                                t == Integer ? "Integer" : t == Boolean ? "Boolean" : t == Real ? "Real" : "<no type>");
                }
}

static void handle_decls (tree t)
{
        for (t; t!= NULL; t = t->next) {
                int     type = t->kind;
                tree    p;
                int i = 0;
                if (type != Integer && type != Boolean && type != Real) {;}/*{
                        fprintf (stderr, "Bad type in decl\n"); return;
                        }*/
               for (p = t->first; p != NULL; p = p->next) {
                        int     pos = p->value;
                        i += 1;
                        ST[pos].type = type; printf("type %d\n",ST[pos].type);
                        ST[pos].index = pos;/*printf("var name %d\n", ST[pos].index);*/
        printf ("Var name and position: %3d %-10s\n", ST[pos].index, id_name (ST[pos].index));
/*prST ();*/
                        }
                }
}

void check (tree t)
{
        for (t; t != NULL; t = t->next)
        /*int i = 0; for scope start a 0 here until Begin is found*/
                switch (t->kind) {
                        case Begin:{printf("%d\n", t->kind);
                                handle_decls (t->first);printf("%d\n", t->kind);
                                check (t->second);
                        check(t->third);
                                printf ("\n");}
                                prST ();
                                break;
                       case Semicol:
                             handle_decls (t->first);
                             check (t->second);
                             check(t->third);
                              printf ("\n");
                              break;
                        case Assign :{
                                int pos = t->first->value;
                                if (ST[pos].index == 0) {
                                        ST[pos].index = pos;
                                        ST[pos].type = Integer;
                                        }
                                if (check_expr (t->second) != ST[pos].type)
                                        fprintf (stderr, "Type error in assignment to identifier %s\n",
                                                                id_name(t->first->value));
                                break;
                                }