Implement ScopeStack and ASTVisitor of SymanticAnalysis (WIP)