ScopeVisitor Type Checking progress