basic type checking of expressions
symbol table integration in type checking