Symbol table and Typecheck.g update