liz's doc / compilers / 03-semantic-analysis compilers/03-semantic-analysis Symbol Tables and Scopes Type Systems