Visitor -> ASTVisitor
visitor refactoring
Type visitor refactoring
AST traversal refactored
comments