added a symbol table implementation
defined tiger type bindings and symbol table for type checking