agenda for symbol tables and type checking.